A Formalization of Credit and Responsibility Within the GNDC Schema

Authors:
Roberto Gorrieri;Fabio Martinelli;Marinella Petrocchi
Affiliations:
Dipartimento di Scienze dell'Informazione, Università di Bologna, Italy;Istituto di Informatica e Telematica, CNR, Area della Ricerca di Pisa, Italy;Istituto di Informatica e Telematica, CNR, Area della Ricerca di Pisa, Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 8
Cited 0

A comparison of three authentication properties

Theoretical Computer Science - Special issue: Algebraic methodology and software technology
A Hierarchy of Authentication Specifications

CSFW '97 Proceedings of the 10th IEEE workshop on Computer Security Foundations
Two Facets of Authentication

CSFW '98 Proceedings of the 11th IEEE workshop on Computer Security Foundations
Honest Ideals on Strand Spaces

CSFW '98 Proceedings of the 11th IEEE workshop on Computer Security Foundations
SKEME: a versatile secure key exchange mechanism for Internet

SNDSS '96 Proceedings of the 1996 Symposium on Network and Distributed System Security (SNDSS '96)
A Semantic Model for Authentication Protocols

SP '93 Proceedings of the 1993 IEEE Symposium on Security and Privacy
Formal analysis of some secure procedures for certificate delivery: Research Articles

Software Testing, Verification & Reliability
The modelling and analysis of security protocols: the csp approach

The modelling and analysis of security protocols: the csp approach

Quantified Score

Hi-index	0.00

Visualization

Abstract

We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through some examples discussed in the literature.