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
Article (Journal)
English
DDC: | 629.8 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal verification of protocol specified in LTS for railway signalling systems
British Library Conference Proceedings | 2004
|Formal Verification at System Level
British Library Conference Proceedings | 2009
|