Specifying and verifying secrecy in workflows with arbitrarily many agents

DOI10.1007/978-3-319-46520-3_11zbMath1398.68341OpenAlexW2523434000MaRDI QIDQ1990507

Yanyan Li

Publication date: 25 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-46520-3_11

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Stratified guarded first-order transition systems

This page was built for publication: Specifying and verifying secrecy in workflows with arbitrarily many agents