Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP.

Xian Zhang Yang Liu Mikhail Auguston

Published in: SSIRI (2010)

Keyphrases

security protocols
petri net
colored petri nets
automated design
constraint satisfaction problems
security properties
artificial immune algorithm
discrete event
cryptographic algorithms
security services
software architecture