Computer Security Foundations Workshop, IEEE
Like what you’re reading?
Already a member?
Related Articles
- Pitfalls in Formal Reasoning about Security Protocols
2010 International Conference on Availability, Reliability and Security - Towards formal analysis of security protocols
Proceedings Computer Security Foundations Workshop VI - Formal Specification of Communication Protocols with Object-Based ECATNets
EUROMICRO Conference - Formal verification of security protocols using Spin
2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS) - Formal Description of Network Protocols Using RAISE Specification Language
Network Computing and Information Security, International Conference on - Formal Specification and Verification of Security Guidelines
2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC) - Investigating the readability of state-based formal requirements specification languages
Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 - Towards Formal Specification of Abstract Security Properties
2008 Third International Conference on Availability, Reliability and Security - A Formal Specification and Verification Framework for Timed Security Protocols
IEEE Transactions on Software Engineering - Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering