Login / Signup
Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos.
Stavros Tripakis
Sergio Yovine
Published in:
IEEE Real Time Technology and Applications Symposium (1998)
Keyphrases
</>
cryptographic protocols
formal analysis
model checking
model checker
lightweight
data transmission
formal proof
protocol specification
security protocols
formal verification
application layer
verification method
colored petri nets