ویراساینس.
سند علمی

Authentication primitives for secure protocol specifications

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami

چکیده

We use two authentication primitives proposed recently as a linguistic support for enforcing authentication. They offer a way of abstracting from various specifications of authentication and of obtaining idealized protocols “secure by construction”. Consequently, they help in proving that a cryptographic protocol correctly implements its corresponding abstract version; when the implementation is incorrect, suggestions on how to fix it may come from reasoning on the abstract specification. © 2004 Elsevier B.V. All rights reserved.

اسناد مشابه

  • Authentication Primitives for Protocol Specifications

    سند علمی۲۰۰۳PaCTChiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami

    We advocate here the use of two authentication primitives we recently propose in a calculus for distributed systems, as a further instrument for programmers interested in authentication. These primitives offer a way of abstracting from various specifications of authentication and

  • Modeling and Checking Timed Authentication of Security Protocols⋆

    سند علمی۲۰۰۶Gizela Jakubowska, Wojciech Penczek

    In this paper we offer a methodology for verifying correctness of (timed) security protocols whose actions are parametrized with time. To this aim the model of a protocol involves delays and timeouts on transitions, and sets time constraints on actions to be executed. Our approac

  • UGSP: Authentication Based Secure Protocol for Ad-Hoc Networks

    سند علمی۲۰۰۴ICETENeelima Arora, R. K. Shyamasundar

    A wireless ad-hoc network is a collection of mobile nodes with no fixed infrastructure. Security in such networks poses serious challenges due to (i) the network connectivity could be intermittent and hence on-line authentication is not guaranteed, and (ii) susceptible to wide ra

  • An Extended Certificate-based Authentication and Security Protocol for Mobile Networks

    سند علمی۲۰۰۹Cheng-Chi Lee, I-En Liao, Min-Shiang Hwang

    An optimized certificate-based protocol for mobile network with authentication and security has been proposed by Yi et al. This protocol allows efficient computation and less storage requirement in the mobile device. As a result, less power is consumed in the mobile device. Howev

  • Modelling and Checking Timed Authentication of Security Protocols

    سند علمی۲۰۰۷Fundam. Inform.Gizela Jakubowska, Wojciech Penczek

    In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and finding out whether the Intruder can change it to shorter or longer by an active attack. Moreover, w

  • An Authentication and Security Protocol for Mobile Computing

    سند علمی۱۹۹۶IFIP World Conference on Mobile CommunicationsYuliang Zheng

    The main contributions of this paper are to analyze an authentication and key distribution protocol for mobile computing proposed by Beller Chang and Yacobi in and reveal two problems associated with their protocol to propose a new authentication and key distribution protocol tha