An Environment for the Specification and Verification of Time-Dependent Security Protocols
2009-01-01
10 pages
Article (Journal)
English
DDC: | 004.16 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
General Environmental Verification Specification
NTIS | 2003
|General Environmental Verification Specification
NTRS | 2003
|Airworthiness security process specification
TIBKAT | 2014
|Specification and Automated Verification of Real-Time Behaviour - A Case Study
British Library Conference Proceedings | 1995
|