Towards an Integrated Formal Analysis for Security and Trust
From MaRDI portal
Publication:4989024
DOI10.1007/11494881_8zbMath1461.68049OpenAlexW1579534168MaRDI QIDQ4989024
No author found.
Publication date: 20 May 2021
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11494881_8
Specification and verification (program logics, model checking, etc.) (68Q60) Computer security (68M25)
Related Items (2)
Intruder deducibility constraints with negation. Decidability and application to secured service compositions ⋮ A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS
This page was built for publication: Towards an Integrated Formal Analysis for Security and Trust