Foundations of Security Analysis and Design II
Contributors: Riccardo Focardi (Editor); Roberto Gorrieri (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 19, 2004
Language: eng
Format: Paperback
Number of pages: 267
ISBN-13: 9783540209553
Subjects: Data security & data encryption; Network security; Security measures; General; Computer security; Computers; Computers - Computer Security; Computer Books: Operating Systems; Security - General; Networking - General; Computers / Operating Systems / General; cryptographic algorithms; cryptographic protocols; data security; formal methods; information security; key establishment; Computer networks; Operating Systems - General; Congresses
First sentence: The exact estimation of properties of computer systems is a problem that was widely and successfully attacked via several different formal approaches (see, e.g., [CT02,BHK01,HHHMR94,HS95,Hil96,BDG98,Ber99,BB00,Bra02]).