NDLI: Computationally sound compositional logic for key exchange protocols

Content Provider	IEEE Xplore Digital Library
Author	Datta, A. Derek, A. Mitchell, J.C. Warinschi, B.
Copyright Year	2006
Description	Author affiliation: Dept. Comput. Sci., Stanford Univ., CA (Datta, A.; Derek, A.; Mitchell, J.C.)
Abstract	We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventional runs of a protocol against a probabilistic polynomial-time attacker. Since reasoning about an unbounded number of runs of a protocol involves induction-like arguments about properties preserved by each run, we formulate a specification of secure key exchange that is closed under general composition with steps that use the key We present formal proof rules based on this game-based condition, and prove that the proof rules are sound over a computational semantics. The proof system is used to establish security of a standard protocol in the computational model
Sponsorship	IEEE Comput. Soc. Tech. Comm. on Security and Privacy
Starting Page	14
Ending Page	334
File Size	395969
Page Count	321
File Format	PDF
ISBN	0769526152
ISSN	10636900
DOI	10.1109/CSFW.2006.9
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2006-07-05
Publisher Place	Italy
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Cryptographic protocols Cryptography Access protocols Computer security Probabilistic logic Polynomials Computer science Communication system security Communication standards Computer networks
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Libarray of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Relating cryptography and cryptographic protocols

Computationally Sound Compositional Logic for Security Protocols

Key-exchange authentication using shared secrets

A computationally sound mechanized prover for security protocols

Computationally sound compositional logic for key exchange protocols (2006)

Compositional Security for Task-PIOAs

Computationally Sound Compositional Logic for Security Protocols

Research of formal design of authentication protocols

Security for Industrial Communication Systems

Computationally sound compositional logic for key exchange protocols

Similar Documents

Relating cryptography and cryptographic protocols

Computationally Sound Compositional Logic for Security Protocols

Key-exchange authentication using shared secrets

A computationally sound mechanized prover for security protocols

Computationally sound compositional logic for key exchange protocols (2006)

Compositional Security for Task-PIOAs

Computationally Sound Compositional Logic for Security Protocols

Research of formal design of authentication protocols

Security for Industrial Communication Systems

Computationally sound compositional logic for key exchange protocols