Factorization of behavioral integrity

DOI10.1007/978-3-319-24177-7_25zbMath1499.68050DBLPconf/esorics/LiNN15OpenAlexW2398078105WikidataQ59416297 ScholiaQ59416297MaRDI QIDQ2165462

Hanne Riis Nielson, Ximeng Li, Flemming Nielson

Publication date: 19 August 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-24177-7_25

Mathematics Subject Classification ID

Cryptography (94A60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer security (68M25)

This page was built for publication: Factorization of behavioral integrity