Advances in software security assessment and verification research
Explore the source record for details and available documents.
software security↗
Engineering topics
Gilliam, D.
Publications and source records attributed to Gilliam, D..
Reducing software security risk through an integrated approach
Explore the source record for details and available documents.
software security security toolset vulnerability m↗
Software security assessment instrument: reducing security risks
Explore the source record for details and available documents.
software quality assurance↗
Summary report on the enterprise security workshop
This report summarizes the presentations of the 7th IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2002) Enterprise Security (ES) Workshop.
software security cryptography authentication acce↗
Model checking for network security requirements via a flexible modeling framework
This paper proposes an approach that mitigates the problem of verification of network security system properties over concurrent processes.
model checking formal methods networking↗
Quantum network protocols: for quantum key distribution (QKD)
Explore the source record for details and available documents.
quantum cryptography networks key exchange↗
Reducing software security risk through an integrated approach
The fourth quarter delivery, FY'01 for this RTOP is a Property-Based Testing (PBT), 'Tester's Assistant' (TA). The TA tool is to be used to check compiled and pre-compiled code for potential security weaknesses that could be exploited by hackers. The TA Instrumenter, implemented mostly in C++ (with a small part in Java), parsels two types of files: Java and TASPEC. Security properties to be checked are written in TASPEC. The Instrumenter is used in conjunction with the Tester's Assistant Specification (TASpec)execution monitor to verify the security properties of a given program.
software security↗
Reducing Software Security Risk Through an Integrated Approach
This paper discusses new joint work by the California Institute of Technology's Jet Propulsion Laboratory and the University of California at Davis sponsored by the National Aeronautics and Space Administration to develop a security assessment instrument for the software development and maintenance life cycle.
risk matrix↗
Anti-Virus Software Solution at JPL
The growth of inter- and intranets and the sharing of information has led to a rise in the transmission of viruses, especially amoung the PC and MAC platforms.
Anti-Virus JPL NASA Evaluation Software Deployment↗
Decentralized-feedback pole placement of linear systems
A projectile product spaces model is used to analyze decentralized systems. The degree of the pole placement map is computed. The conditions under which the degree is odd are also given. Twin lift systems are studied. It is proved that the poles of a twin lift system can be assigned to any values by local static and local dynamic feedback laws if and only if the system is jointly controllable.
Wang, X.↗