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)
