Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by D.P. Gilliam
Application of Lightweight Formal Methods to Software Security
Related publications
Software Quality Improvement: Two Approaches to the Application of Formal Methods
Software Engineering and Formal Methods
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Security Architectures Using Formal Methods
IEEE Journal on Selected Areas in Communications
Computer Networks
Electronic Engineering
Electrical
Communications
Formal Methods for Assuring Security of Protocols
Computer Journal
Computer Science
Formal Methods for Eternal Networked Software Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Designing Minimal Effective Normative Systems With the Help of Lightweight Formal Methods
Preface to the Special Section on Improving Software Quality Through Formal Methods
Software Quality Journal
Media Technology
Risk
Reliability
Safety
Quality
Software
Interventions for Software Security: Creating a Lightweight Program of Assurance Techniques for Developers
Dynamic Analysis Methods of IOS Application Security
DEStech Transactions on Computer Science and Engineering
