Campus Event Calendar
Event Entry
What and Who
A Logic of Security Protocol Verification
Professor Dr. Shuo Bai
Chinese National Research Center for Intelligent Computer Systems
Talk
AG 1, AG 2
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 15 May 98
14:15
60 Minutes
36 - Informatik
Herbrandraum 222.2
Saarbrücken
Abstract
With rapid development and wide use (especially in the area of E-commerce)
of the Internet, secure communication is going to be a more and more important
issue. In the development of security protocols, formal methods are used to
verify various properties of the underlying protocol without concerning its
mathematical and algorithmic details. Keeping SET (Secure Electronic
Transactions) protocol as our application background, we propose a set of
axioms and rules that captures the Non-monotonic and Dynamic natures of
security protocols with encrypted messages. Such a logic can be implemented in
deduction environments such as DFKI's VSE.
of the Internet, secure communication is going to be a more and more important
issue. In the development of security protocols, formal methods are used to
verify various properties of the underlying protocol without concerning its
mathematical and algorithmic details. Keeping SET (Secure Electronic
Transactions) protocol as our application background, we propose a set of
axioms and rules that captures the Non-monotonic and Dynamic natures of
security protocols with encrypted messages. Such a logic can be implemented in
deduction environments such as DFKI's VSE.
Contact
Georg Rock
302 5348
--email hidden
passcode not visible
logged in users only