A Formalization of Credit and Responsibility Within the GNDC Schema

Gorrieri, Roberto; Martinelli, Fabio; Petrocchi, Marinella

doi:10.1016/j.entcs.2005.09.040

Cited by 4 publications

(2 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Gorrieri et al [28] formalize the informal notions of credit and responsibility [27], which can be extended to formalize the session computation function. Squicciarini et al [26] propose an authentication framework that supports an authentication decision based on the previous events that occurred in the system.…”

Section: Related Work On Authentication Modelsmentioning

confidence: 99%

Post-Session Authentication

Ahmed

Jensen

2012

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

Entity authentication provides confidence in the claimed identity of a peer entity, but the manner in which this goal is achieved results in different types of authentication. An important factor in this regard is the order between authentication and the execution of the associated session. In this paper, we consider the case of post-session authentication, where parties authenticate each other at the end of their interactive session. This use of authentication is different from sessionless authentication (e.g., in RFID) and pre-session authentication (e.g., for access control.) Post-session authentication, although a new term, is not a new concept; it is the basis of at least a few practical schemes. We, for the first time, systematically study it and present the underlying authentication model. Further, we show that an important class of problems is solvable using post-session authentication as the only setup assumption. We hope post-session authentication can be used to devise new strategies for building trust among strangers.

show abstract

Section: Related Work On Authentication Modelsmentioning

confidence: 99%

Post-Session Authentication

Ahmed

Jensen

2012

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

show abstract

“…It is worth noticing that Abadi has formally discussed the properties of responsibility and credit in [33]. Also, [34] further investigates these topics and an attempt is given to formalize, within the theoretical framework fully presented in [23], some of the examples discussed by Abadi in [33].…”

Section: Openca Analysismentioning

confidence: 99%

Formal analysis of some secure procedures for certificate delivery

Martinelli¹,

Petrocchi²,

Vaccarelli³

2006

Softw. Test. Verif. Reliab.

Self Cite

View full text Add to dashboard Cite

Abstract. The paper describes and formally analyzes two communication protocols to manage the secure emission of digital certificates. The formal analysis is carried out by means of a software tool for the automatic verification of cryptographic protocols with finite behaviour. The tool is able to discover, at a conceptual level, attacks against security procedures. The methodology is general enough to be applied to several kinds of cryptographic procedures and protocols. It is opinion of the authors that this survey contributes towards a better understanding of the structure and aims of a protocol, both for developers, analyzers and final users.

show abstract

The potential of e-commerce credit evaluation model for sellers

Yang

2011

Proceedings of 2011 Cross Strait Quad-Regional Radio Science and Wireless Technology Conference

View full text Add to dashboard Cite

A Formalization of Credit and Responsibility Within the GNDC Schema

Cited by 4 publications

References 13 publications

Post-Session Authentication

Post-Session Authentication

Formal analysis of some secure procedures for certificate delivery

The potential of e-commerce credit evaluation model for sellers

Contact Info

Product

Resources

About