Advances in software security assessment and verification research
Explore the source record for details and available documents.
security software networking↗
Engineering topics
Gilliam, D. P.
Publications and source records attributed to Gilliam, D. P..
Model checking for software security properties
Explore the source record for details and available documents.
security model checking software formal methods↗
Component based approach to modeling for model checking
This paper presents a portion of an overall research project on the generation of a software security assessment instrument to aid developers in assessing and assuring the security of software in the development and maintenance lifecycles.
security toolset model checking security safety fo↗
Software security checklist for the software life cycle
A formal approach to security in the software life cycle is essential to protect corporate resources. However, little thought has been given to this aspect of software development. Due to its criticality, security should be integrated as a formal approach in the software life cycle.
software security checklist security tools securit↗
Integrating a flexible modeling framework (FMF) with the network security assessment instrument to reduce software security risk
This paper presents a portion of an overall research project on the generation of the network security assessment instrument to aid developers in assessing and assuring the security of software in the development and maintenance lifecycles.
security model checking formal methods↗
Formal assessment instrument for ensuring the security of NASA's networks, systems and software
To address the problem of security for NASA's networks, systems and software, NASA has funded the Jet Propulsion Lab in conjunction with UC Davis to begin work on developing a software security assessment instrument for use in the software development and maintenance life cycle.
software security security toolset vulnerability m↗
Reducing software security risk through an integrated approach
This paper presents research on the generation of a software security assessment instrument to aid developers in assessing and assuring the security of software in the development and maintenance lifecycles.
security verification↗
Reducing software security risk through an integrated approach
Explore the source record for details and available documents.
model checking security verification↗
Applications in distributed quantum computing networks
Explore the source record for details and available documents.
qubits quantum networks disassociated header↗
Model checking for network security requirements via a flexible modeling framework
Explore the source record for details and available documents.
model checking formal methods network security↗
Development of a software security assessment instrument to reduce software security risk
This paper discusses the development of a security assessment instrument for the software development and maintenance life cycle.
specification checking security verification↗
Development of a software security assessment instrument to reduce software security risk
This paper discusses development of a security assessment instrument for the software development and maintenance life cycle. The assessment instrument is a collection of tools and procedures to support development of secure software.
security toolset vulnerability matrix property-bas↗
Formal assessment of network security risks with an integrated assessment instrument
Explore the source record for details and available documents.
checking security verification↗