Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario

DOI10.1007/978-3-540-68746-7_14zbMath1143.68321OpenAlexW1556678756MaRDI QIDQ3510866

Paul Fleischer, Lars Michael Kristensen

Publication date: 3 July 2008

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68746-7_14

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

This page was built for publication: Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario