A formalization of credit and responsibility within the GNDC schema

DOI10.1016/J.ENTCS.2005.09.040zbMATH Open1335.68014OpenAlexW2148515874MaRDI QIDQ2804933FDOQ2804933

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

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

zbMATH Keywords

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

Cites Work

• A logic of authentication
• Title not available (Why is that?)
• Title not available (Why is that?)
• Foundations of Security Analysis and Design II
• A comparison of three authentication properties.
• Title not available (Why is that?)

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)