Protocol Verification Techniques: Status Quo and Perspectives.

Michal Sajkowski

Published in: PSTV (1984)

Keyphrases

status quo
cryptographic protocols
protocol specification
grounded theory
college students
e government
technological innovation
credit risk
model checking
lessons learned
factors influencing