A formalization of credit and responsibility within the GNDC schema

DOI10.1016/J.ENTCS.2005.09.040MaRDI QIDQ2804933zbMATH OpenOpenAlexFDO

Authors Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi

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

authenticationformal methodsgeneralized non-deducibility on composition

Mathematics Subject Classification ID

Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Blame it on me
• scientific article; zbMATH DE number 2080698
• Trust Management
• A logic of trust and reputation
• scientific article; zbMATH DE number 2243367

Cites work

• A comparison of three authentication properties.
• A logic of authentication
• Foundations of Security Analysis and Design II
• scientific article; zbMATH DE number 1670837 (Why is no real title available?)
• scientific article; zbMATH DE number 1487487 (Why is no real title available?)
• scientific article; zbMATH DE number 1497865 (Why is no real title available?)

This page was built for publication: A formalization of credit and responsibility within the GNDC schema

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2804933)