Constraints Solution for Time Sensitive Security Protocols

DOI10.1007/978-3-540-73814-5_18zbMath1214.68071OpenAlexW2131862251MaRDI QIDQ3612589

Ti Zhou, Zhou-Jun Li, Huowang Chen, Mengjun Li

Publication date: 10 March 2009

Published in: Frontiers in Algorithmics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73814-5_18

zbMATH Keywords

algorithmconstraintsecurity protocoltime sensitive

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Related Items (1)

Constraint Abstraction in Verification of Security Protocols

Uses Software

• Casper

This page was built for publication: Constraints Solution for Time Sensitive Security Protocols