English Cryptographic protocol Cited by user Richard Nowell on 14 Feb 2024 A cryptographic protocol is an abstract or concrete protocol that performs a security-related function and applies cryptographic methods, often as sequences of…
English TAPAAL Model Checker Cited by user 130.225.198.136 on 17 Jan 2013 TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets developed at Department of Computer Science at Aalborg University in Denmark and it…