A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS

DOI10.1016/J.ENTCS.2007.03.024zbMath1277.94033OpenAlexW1964297175WikidataQ115044248 ScholiaQ115044248MaRDI QIDQ2866730

Marinella Petrocchi, Fabio Martinelli

Publication date: 13 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.03.024

zbMATH Keywords

formal verificationsecurity protocolssecurity and trust analysis

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

A modal type theory for formalizing trusted communications ⋮ A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials ⋮ A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS

Cites Work

• Unnamed Item
• Unnamed Item
• A calculus for cryptographic protocols: The spi calculus
• Analysis of security protocols as open systems
• Privacy enhancing technologies. Second international workshop, PET 2002, San Francisco, CA, USA, April 14--15, 2002. Revised papers
• A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS
• Towards an Integrated Formal Analysis for Security and Trust

This page was built for publication: A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS