A Formalization of Credit and Responsibility Within the GNDC Schema

DOI10.1016/j.entcs.2005.09.040zbMath1335.68014OpenAlexW2148515874MaRDI QIDQ2804933

Marinella Petrocchi, Roberto Gorrieri, Fabio Martinelli

Publication date: 6 May 2016

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.2005.09.040

zbMATH Keywords

formal methodsauthenticationgeneralized non-deducibility on composition

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) Network protocols (68M12) Authentication, digital signatures and secret sharing (94A62)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A comparison of three authentication properties.
• A logic of authentication
• Foundations of Security Analysis and Design II

This page was built for publication: A Formalization of Credit and Responsibility Within the GNDC Schema