Presentation	2002/5/17 Logical Verifications for Security Protocols Based on Linear Logic Mitsuhiro OKADA, Koji HASEBE,
PDF Download Page	PDF download Page Link
Abstract(in Japanese)	(See Japanese page)
Abstract(in English)	We give a framework of logical methods for specifying and verifying security protocols based on linear logic. A process following a security protocol is represented by a linear logic proof, and using this method, we give a framework of security verification method. By means of a known method for specifying real-time systems based on linear logic, we represent freshness of messages with timestamps by quantative time constraints and give a method of deducing conditions for protection against attacks.
Keyword(in Japanese)	(See Japanese page)
Keyword(in English)	Linear logic / Proof / Security protocol / Security verification / Real-Time / Timestamp
Paper #	AI2002-9
Date of Issue

Conference Information
Committee	AI
Conference Date	2002/5/17(1days)
Place (in Japanese)	(See Japanese page)
Place (in English)
Topics (in Japanese)	(See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To	Artificial Intelligence and Knowledge-Based Processing (AI)
Language	JPN
Title (in Japanese)	(See Japanese page)
Sub Title (in Japanese)	(See Japanese page)
Title (in English)	Logical Verifications for Security Protocols Based on Linear Logic
Sub Title (in English)
Keyword(1)	Linear logic
Keyword(2)	Proof
Keyword(3)	Security protocol
Keyword(4)	Security verification
Keyword(5)	Real-Time
Keyword(6)	Timestamp
1st Author's Name	Mitsuhiro OKADA
1st Author's Affiliation	Faculty of Letters, Keio University()
2nd Author's Name	Koji HASEBE
2nd Author's Affiliation	Faculty of Letters, Keio University
Date	2002/5/17
Paper #	AI2002-9
Volume (vol)	vol.102
Number (no)	91
Page	pp.pp.-
#Pages	6
Date of Issue