Amanote Research
Register
Sign In
Application of Lightweight Formal Methods to Software Security
doi 10.1109/wetice.2005.19
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
D.P. Gilliam
J.D. Powell
M. Bishop
Publisher
IEEE
Related search
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
