Programming Languages and Systems
Subtitle: 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice ... (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: May 7, 2003
Language: eng
Format: Paperback
Number of pages: 415
ISBN-13: 9783540008866
Subjects: Programming languages (Electro; Programming - Software Development; Computers; Computers - Languages / Programming; Computer Books: General; Programming languages (Electronic computers); Programming Languages - General; Computer Science; Computers / Programming Languages / General; computer languages; formal languages; language implementation; program semantics; programming calculi; programming language design; programming languages; programming systems; programming theory; Computer programming; Congresses
First sentence: Most of the existing approaches to applying formal methods to cryptographic protocol analysis stem ultimately from that of Dolev and Yao [9], who developed for the first formalization of the intruder model that is commonly used today.