Formal verification of the Merchant Registration phase of the SET protocol
INTERNATIONAL JOURNAL OF AUTOMATION AND COMPUTING ; 2 , 2 ; 155-162
2005-01-01
8 pages
Aufsatz (Zeitschrift)
Englisch
DDC: | 629.8 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal Verification of the LDACS MAKE Protocol
Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2022
|Formal verification of protocol specified in LTS for railway signalling systems
British Library Conference Proceedings | 2004
|Formal verification and legacy redesign
IEEE | 1999
|