Show simple item record

dc.contributor.advisorXie, Geoffrey G.
dc.contributor.authorDumlupinar, Mahmut Firuz
dc.dateSep-13
dc.date.accessioned2013-11-20T23:36:04Z
dc.date.available2013-11-20T23:36:04Z
dc.date.issued2013-09
dc.identifier.urihttp://hdl.handle.net/10945/37617
dc.description.abstractManual formal software verification is an expensive and time-consuming process. Military software is currently verified manually by highly skilled analysts. To reduce the high costs of the formal verification, DARPA started a Crowd-Sourced Formal Verification (CSFV) program that aims to include as many people as possible to participate in this verification process by embedding some of the verification logics into computer games. In this study we built a network prototype for hosting a CSFV server on a DoD network. The CSFV network prototype is designed according to the common security practices, necessary security measures against possible attacks, and the Security Technical Implementation Guides (STIGs) published by DISA to provide confidentiality, integrity and availability. Important details are presented about server operating system selections, proper usage of necessary network services, and firewall and IDS rules for efficient network security. Results from common network penetration test tools confirm that our prototype meets the necessary security requirements and can be trusted on a DoD network.en_US
dc.description.urihttp://archive.org/details/deployingcrowdso1094537617
dc.publisherMonterey, California: Naval Postgraduate Schoolen_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.en_US
dc.titleDeploying crowd-sourced formal verification systems in a DoD networken_US
dc.typeThesisen_US
dc.contributor.secondreaderHousel, Thomas J.
dc.contributor.departmentInformation Sciences (IS)
dc.subject.authorcrowd sourced formal verificationen_US
dc.subject.authornetwork securityen_US
dc.subject.authorcyber attacksen_US
dc.subject.authorcrowdsourcingen_US
dc.subject.authorvirtualizationen_US
dc.subject.authorcloud computingen_US
dc.subject.authorfirewallsen_US
dc.subject.authorintrusion detection systemsen_US
dc.subject.authornetwork penetration test.en_US
dc.description.serviceCaptain, Turkish Armyen_US
etd.thesisdegree.nameMaster Of Science In Information Technology Managementen_US
etd.thesisdegree.levelMastersen_US
etd.thesisdegree.disciplineInformation Technology Managementen_US
etd.thesisdegree.grantorNaval Postgraduate Schoolen_US
dc.description.distributionstatementApproved for public release; distribution is unlimited.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record