Amanote Research
Register
Sign In
Security Architectures Using Formal Methods
IEEE Journal on Selected Areas in Communications
- United States
doi 10.1109/49.223872
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computer Networks
Electronic Engineering
Electrical
Communications
Date
June 1, 1993
Authors
C. Boyd
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Related search
Formal Methods for Assuring Security of Protocols
Computer Journal
Computer Science
Application of Lightweight Formal Methods to Software Security
Security and Privacy in Internet of Things: Methods, Architectures, and Solutions
Security and Communication Networks
Computer Networks
Information Systems
Communications
Ensuring Drivability of Planned Motions Using Formal Methods
Formal Specification of Gateways in Integrated Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification and Verification of Dynamic Parametrized Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Timing Diagrams Requirements Modeling Using Event-B Formal Methods
Using Simulation Games in Teaching Formal Methods for Software Development
Advances in Higher Education and Professional Development
Software Engineering and Formal Methods
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
