|
|
Volumn 2012-July, Issue July, 2012, Pages 154-166
|
|
Formal Verification of a Secure Network with End-to-End Encryption
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
CRYPTOGRAPHY;
FORMAL SPECIFICATION;
FORMAL VERIFICATION;
COMMUNICATIONS NETWORKS;
CONCURRENT PROCESS;
END-TO-END ENCRYPTION;
FORMAL SPECIFICATION AND VERIFICATION;
SECURE NETWORKS;
STATE MACHINE;
VERIFICATION SYSTEMS;
NETWORK SECURITY;
|
|
EID: 84937394128
PISSN: 10816011
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/SP.1984.10009 Document Type: Conference Paper |
|
Times cited : (1)
|
|
References (0)
|
