Stateful protocol composition in Isabelle/HOL

AV Hess, SA Mödersheim, AD Brucker - ACM Transactions on Privacy …, 2023 - dl.acm.org
Communication networks like the Internet form a large distributed system where a huge
number of components run in parallel, such as security protocols and distributed web …
被引用次数：7 相关文章

Stateful Protocol Composition in Isabelle/HOL

AV Hess, SA Mödersheim, AD Brucker - ACM Transactions on Privacy …, 2023 - orbit.dtu.dk
Communication networks like the Internet form a large distributed system where a huge
number of components run in parallel, such as security protocols and distributed web …
[PDF] brucker.ch

[PDF][PDF] Stateful Protocol Composition in Isabelle/HOL

AV HESS, SA MÖDERSHEIM, AD BRUCKER - brucker.ch
The typical use of communication networks like the Internet is to run a wide variety of
security protocols in parallel. While the security properties of many of these protocols, eg …
[PDF] exeter.ac.uk

[PDF][PDF] Stateful protocol composition in Isabelle/HOL

AV Hess, SA Mödersheim… - ACM Transactions on …, 2023 - ore.exeter.ac.uk
Communication networks like the Internet form a large distributed system where a huge
number of components run in parallel, such as security protocols and distributed web …
[PDF] brucker.ch

[PDF][PDF] Stateful Protocol Composition in Isabelle/HOL

AV HESS, SA MÖDERSHEIM, AD BRUCKER - brucker.ch
The typical use of communication networks like the Internet is to run a wide variety of
security protocols in parallel. While the security properties of many of these protocols, eg …