Software Security - Theories and Systems
Subtitle: Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 (Lecture Notes in Computer Science)
Contributors: Kokichi Futatsugi (Editor); Fumio Mizoguchi (Editor); Naoki Yonezaki (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 23, 2004
Language: eng
Format: Paperback
Number of pages: 345
ISBN-13: 9783540236351
Subjects: Computer Software Packages; Operating Systems - General; Computers; Computers - Communications / Networking; Computer Books: General; Programming Languages - General; Networking - General; Computers / Networking / General
First sentence: Over the last few years we have pursued a project intended to give a precise formalization of the operation and objectives of Kerberos 5 [1-3], and to determine whether the protocol satisfies these requirements.