| Commercial Perspectives on Information Assurance Research |
OCT 1997 |
|
| Authors:
William T. Mayfield; Ron S. Ross; Stephen R. Welke; Bill Brykczynski; INSTITUTE FOR DEFENSE ANALYSES ALEXANDRIA VA
|
 | The President's Commission on Critical Infrastructure Protection (PCCIP) was charged with developing a national strategy on critical infrastructure protection. As part of this effort, the National Security Agency tasked IDA to (1) provide an assessment of commercial information assurance (IA) R&D funding, and (2) determine where commercial technology providers are currently investing and where they think investment should occur in the future. An IDA research team interviewed 21 providers in ... |
|
| Integrity-Oriented Control Objectives: Proposed Revisions to the Trusted Computer System Evaluation Criteria (TCSEC), DOD 5200.28-STD |
OCT 91 |
|
| Authors:
Terry Mayfield; John M. Boone; Stephen R. Welke; INSTITUTE FOR DEFENSE ANALYSES ALEXANDRIA VA
|
| Control objectives, as they apply to automated information systems, express fundamental computer security requirements and serve as guidance to the development of more specific systems evaluation criteria. Within the DoD, the control objectives contained in the Trusted Computer System Evaluation Criteria (TCSEC), DoD 5200.28-STD, are of primary concern to the development of product evaluation criteria. The TCSEC's scope is currently confined to address only confidentiality protection of information. This document ... |
|
| Integrity in Automated Information Systems |
16 SEP 91 |
147 pages |
| Authors:
Terry Mayfield; J. E. Roskos; Stephen R. Welke; John M. Boone; Catherine W. McDonald; NATIONAL COMPUTER SECURITY CENTER FORT GEORGE G MEADE MD
|
 | For many years, the security research community has focused on the confidentiality aspect of security, and a solid analytical foundation for addressing confidentiality issues has evolved. Now it is recognized that integrity is at least as important as confidentiality in many computer systems; it is also apparent that integrity is not well understood. The purpose of this paper is to lay a foundation for understanding integrity and investigate how it ... |
|
| Integrity in Automated Information Systems |
SEP 91 |
|
| Authors:
Terry Mayfield; J. E. Roskos; Stephen R. Welke; John M. Boone; Catherine W. McDonald; INSTITUTE FOR DEFENSE ANALYSES ALEXANDRIA VA
|
| For many years, the security research community has focused on the confidentiality aspect of security, and a solid analytical foundation for addressing confidentiality issues has evolved. Now it is recognized that integrity is at least as important as confidentiality in many computer systems; it is also apparent that integrity is not well understood. The purpose of this paper is to lay a foundation for understanding integrity and investigate how it ... |
|
| Proceedings of the IDA Workshop on Formal Specification and Verification of Ada (Trade Name) (3rd) Held in Research Triangle Park, North Carolina on 14- 16 May 1986 |
AUG 86 |
|
| Authors:
William T. Mayfield; John Chludzinski; John McHugh; Stephen R. Welke; INSTITUTE FOR DEFENSE ANALYSES ALEXANDRIA VA
|
| The Third IDA Workshop on Formal Specification and Verification of Ada was conducted at the Research Triangle |
|
| Proceedings of the IDA (Institute for Defense Analyses) Workshop on Formal Specification and Verification of Ada (Trade Name) (2nd) Held in Alexandria, Virginia on July 23-25, 1985 |
NOV 85 |
|
| Authors:
W. T. Mayfield; Stephen R. Welke; INSTITUTE FOR DEFENSE ANALYSES ALEXANDRIA VA
|
| The Second Workshop identified current issues in Ada Verification and focused on what is needed to build the foundation of an Ada Verification Technology. IDA workshops will continue to be a meeting place for accessing the current state-of-the-art, identifying promising research areas, monitoring ongoing verification work, promoting the use of the evolving technology, and ensuring that valuable outputs from one area are fed into other areas. The desired product of ... |
|
Reports by Author
