|
Found 29 results Filters: author is Payne [Clear All Filters] 2010
"AIMFIRST: Planning for Mission Assurance",
5th International Conference on Information Warefare and Security, Wright-Patterson Air Force Base, Air Force Institute of Technology, Wright-Patterson Air Force Base, 04/08/2010.
Abstract
2009
"The Case for Prevention-based, Host-resident Defenses in the Modern PCS Network",
Cyber Security and Information Intelligence Research Workshop (CSIIRW 2009), Oak Ridge, TN, 04/13/2009.
"Virtual Private Groups for Protecting Critical Infrastructure Networks",
CyberSecurity Applications and Technology Conference for Homeland Security, Washington, DC, 03/03/2009.
"Trapping Malicious Insiders in the SPDR Web",
Hawaii International Conference on Systems Sciences (HICSS-42), Honolulu, HI, 01/05/2009.
2008
"Trapping Malicious Insiders in the SPDR Web",
Hawaii International Conference on Systems Sciences, 2008 .
2007
Associative Policy Model,
: Secure Computing Corporation, 12/2007.
Abstract
Locally adaptable central security management in a heterogeneous network environment,
: Secure Computing Corporation, 12/2007.
Abstract
2006
"Generating Policies for Defense in Depth (DiD)",
IAnewsletter, vol. 9, issue 3, 11/2006.
Abstract
2005
"Generating Policies for Defense in Depth",
21st Annual Computer Security Applications Conference, 12/2005.
"High Confidence Software and Systems (HCSS) Coordinating Group (CG) Assured, Real-Time Operating Systems (ARTOS) Briefings",
National Coordination Office for Networking and Information Technology Research and Development, 07/2005.
2002
"Distributed embedded firewalls with virtual private groups",
DARPA Information Survivability Conference and Exposition (DISCEX III '02), pp. 81-83, 06/2002.
Abstract
2001
"Architecture and Applications for a Distributed Embedded Firewall",
17th Annual Computer Security Applications Conference, New Orleans, LA., pp. 329-338, 10/12/2001.
Abstract
"Security at the network edge: A distributed firewall architecture",
DARPA Information Survivability Conference and Exposition (DISCEX II '01), Anaheim, CA, pp. 279-286, 06/2001.
Abstract
"The releasable data products framework",
DARPA Information Survivability Conference and Exposition (DISCEX II '01), Anaheim, CA, pp. 203-213, 06/12/2001.
Abstract
2000
"Using Composition to Design Secure, Fault-Tolerant Systems",
DARPA Information Survivability Conference and Exposition (DISCEX '00), pp. 1380-1390, 01/25/2000.
Abstract
1999
"Napoleon: A Recipe for Workflow",
15th Annual Computer Security Applications Conference, Phoenix, AZ, pp. 134-142, 12/06/1999.
Abstract
"Napoleon, Network Application Policy Environment",
Fourth ACM RBAC Workshop, pp. 145-152, 10/28/1999.
Abstract
"Using Composition and Refinement to Support Security Architecture Trade-Off Analysis",
22nd National Information Systems Security Conference, Arlington, VA, 10/18/1999.
Abstract
1998
"A Formal Experience at Secure Computing Corporation",
International Conference on Computer-Aided Verification, Vancouver, BC, Canada, 06/1998.
1996
"Increasing Assurance with Literate Programming Techniques",
11th Annual Conference on Computer Assurance, Gaithersburg, MD, IEEE Computer Society Press, pp. 187-198, 06/17/1996.
Abstract
1995
"Improving Inter-Enclave Information Flow for a Secure Strike Planning Application",
11th Annual Computer Security Applications Conference, New Orleans, LA, pp. 89-98, 12/11/1995.
"External COMSEC Adaptor Software Engineering Methodology",
NRL Memorandum Report NRL/MR/5542-95-7768, Naval Research Laboratory, 08/1995.
Abstract
1994
"The RS-232 Character Repeater Refinement and Assurance Argument",
NRL Technical Memorandum 5540-034:AMCP, Naval Research Laboratory, 07/1996.
Abstract
"An Experience Modeling Critical Requirements",
Proc. COMPASS 94, Gaithersburg, MD, 06/27/1994.
Abstract
1993
"Toward a Comprehensive INFOSEC Certification Methodology",
Proceedings of the 16th National Computer Security Conference, Baltimore, MD, pp. 165-172, 1993.
Abstract
|