partnership to develop top ROTC cadets into the next generation of cyber security leaders. Modeled after the General Electric Advanced Course in Engineering, ACE-CS immerses students in the...
The information revolution in the Middle East and North Africa: MR-1653 / (2008)
North Africa, Grey E. Burkhart, Burkhart Grey E, Grey E. Burkhart, Susan Older
Prepared for the
Building A Rigorous Foundation For Assurance Into Information Assurance Education (2002)
mission is to promote improvement in systems and information assurance through research, education, and technology transfer. The goal of the CSA educational program is to develop students with a...
Formal Methods for Assuring Security of Protocols (2002)
Establishing the security of a system is an intricate problem with subtle nuances: it requires a careful examination of the underlying assumptions, abstractions, and possible actions. Consequently,...
Formal Development of Secure Email (1999)
Dan Zhou, Joncheng C. Kuo, Susan Older, Shiu-kai Chin
Developing systems that are assured to be secure requires precise and accurate descriptions of specifications, designs, implementations, and security properties. Formal specification and verification...
Formal Development of Secure Email (1999)
Dan Zhou, Joncheng C. Kuo, Susan Older, Shiu-kai Chin
Developing systems that are assured to be secure requires precise and accurate descriptions of specifications, designs, implementations, and security properties. Formal specification and verification...
Pragmatic Approaches to Composition and Verification of Assured Software (1998)
Zhou, Dan, Older, Susan, Chin, Shiu-Kai
Mature engineering fields have methods of construction that have high likelihoods of success, and that guarantee the proper functioning of systems, even within hostile environments. These methods...
The Information Revolution in the Middle East and North Africa (1998)
Burkhart, Grey E., Older, Susan
RAND is conducting a multiyear effort, sponsored by the National Intelligence Council (NIC), to explore the future of the information revolution throughout the world. This is a multidisciplinary...
A Denotational Framework for Fair Communicating Processes. (1997)
The behavior of a parallel system depends not only on the properties of the individual components running in parallel, but also on the interactions among those components. These interactions in turn...
A Denotational Framework for Fair Communicating Processes (1997)
Susan Older, Prakash Panangaden
views and conclusions contained in this document are those of the author and should not be interpreted as representing the official policies, either expressed or implied, of ONR or the U.S....