NDLI: Security and composition of cryptographic protocols:a tutorial (part I)

Please wait, while we are loading the content...

A joint review of "Reality Conditions: Short Mathematical Fiction, by Alex Kasman", MAA 2005;"Numb3rs, TV show. CBS", Free. Currently running Fridays at 10:00PM; "Mathematical Apocryphia: Stories and Annecdotes of Mathematicians and the Mathematical by Steven Kranz", MAA, 2002; "Mathematical Apocryphia Redux: More Stories and Annecdotes of Mathematicians and the Mathematical by Steven Kranz", MAA, 1999.

Security and composition of cryptographic protocols

A Joint Review of "A History of Pi, by Petr Beckmann", St. Martins's Press, 1976, Barnes and Noble Books, 1989; "The Joy of Pi, by David Blatner", Walker & Co., 1997; "The Nothing That Is, by Robert Kaplan", Oxford University Press, 1999; "e: The Story of a Number, by Eli Maor", Princeton University Press, 1998; "An Imaginary Tale, by Paul Nahin", Princeton University Press, 1998; "Zero: The Biography of a Dangerous Idea, by Charles Seife", Viking Press, 2000.

Review of "The Square Root of 2: A Dialogue Concerning a Number and a Sequence by David Flannery", Copernicus Books, 2006.

Volume 37, Issue 2, June 2006

Volume 37, Issue 1, March 2006

Issue 14, January 1972

Issue 13, December 1971

Issue 12, October 1971

Issue 11, August 1971

Issue 10, July 1971

Issue 9, April 1971

Issue 8, January 1971

Issue 7, September 1970

Issue 6, June 1970

Issue 4, January 1970

Issue 3, October 1969

Issue 2, July 1969

Issue 1, April 1969

Security and composition of cryptographic protocols:a tutorial (part I)

Content Provider	ACM Digital Library
Author	Canetti, Ran
Abstract	What does it mean for a cryptographic protocol to be "secure"? Capturing the security requirements of cryptographic tasks in a meaningful way is a slippery business: On the one hand, we want security criteria that prevent "all potential attacks" against a protocol; on the other hand, we want our criteria not to be overly restrictive and accept "reasonable protocols". One of the main reasons for flaws is the often unexpected interactions among different protocol instances that run alongside each other in a composite system.This tutorial studies a general methodology for defining security of cryptographic protocols. The methodology, often dubbed the "trusted party paradigm", allows for defining the security requirements of a large variety of cryptographic tasks in a unified and natural way. We first review more basic formulations that capture security in isolation from other protocol instances. Next we address the security problems associated with protocol composition, and review formulations that guarantee security even in composite systems.
Starting Page	67
Ending Page	92
Page Count	26
File Format	PDF
ISSN	01635700
DOI	10.1145/1165555.1165570
Journal	ACM SIGACT News (SIGA)
Volume Number	37
Issue Number	3
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1992-06-30
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
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 Library 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

Security and composition of cryptographic protocols: a tutorial (part ii).

Tutorial 15: control theory, part I

Analysis of dynamic congestion control protocols:a Fokker-Planck approximation

Tutorial review on validation of liquid chromatography-mass spectrometry methods: part I.

Cryptographic security Techniques for wireless networks

On the security of three-party cryptographic protocols

A tutorial survey of topics in wireless networking: Part I

Tutorial on estimating the limit of detection using LC-MS analysis, part I: Theoretical review.

Tutorial I [Part 2, IEEE Aerospace and Electronic Systems Magazine, Jan 2004]

Security and composition of cryptographic protocols:a tutorial (part I)

Similar Documents

Security and composition of cryptographic protocols: a tutorial (part ii).

Tutorial 15: control theory, part I

Analysis of dynamic congestion control protocols:a Fokker-Planck approximation

Tutorial review on validation of liquid chromatography-mass spectrometry methods: part I.

Cryptographic security Techniques for wireless networks

On the security of three-party cryptographic protocols

A tutorial survey of topics in wireless networking: Part I

Tutorial on estimating the limit of detection using LC-MS analysis, part I: Theoretical review.

Tutorial I [Part 2, IEEE Aerospace and Electronic Systems Magazine, Jan 2004]

Security and composition of cryptographic protocols:a tutorial (part I)