TY - BOOK ID - 7541888 TI - Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures AU - Aldini, Alessandro. AU - Gorrieri, Roberto. AU - International School on Foundations of Security Analysis and Design PY - 2007 SN - 364203828X 9786613561176 1280383259 3642038298 PB - Berlin : Springer, DB - UniCat KW - Computer security KW - Computer networks KW - Computer Science KW - Engineering & Applied Sciences KW - Security measures KW - Computer privacy KW - Computer system security KW - Computer systems KW - Computers KW - Cyber security KW - Cybersecurity KW - Electronic digital computers KW - Security of computer systems KW - Protection of computer systems KW - Protection KW - Computer science. KW - Computer communication systems. KW - Programming languages (Electronic computers). KW - Computer security. KW - Data encryption (Computer science). KW - Computer logic. KW - Management information systems. KW - Computer Science. KW - Systems and Data Security. KW - Computer Communication Networks. KW - Data Encryption. KW - Management of Computing and Information Systems. KW - Logics and Meanings of Programs. KW - Programming Languages, Compilers, Interpreters. KW - Computer-based information systems KW - EIS (Information systems) KW - Executive information systems KW - MIS (Information systems) KW - Sociotechnical systems KW - Information resources management KW - Management KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Data encoding (Computer science) KW - Encryption of data (Computer science) KW - Cryptography KW - Data protection KW - Security systems KW - Hacking KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Communication systems, Computer KW - Computer communication systems KW - Data networks, Computer KW - ECNs (Electronic communication networks) KW - Electronic communication networks KW - Networks, Computer KW - Teleprocessing networks KW - Data transmission systems KW - Digital communications KW - Electronic systems KW - Information networks KW - Telecommunication KW - Cyberinfrastructure KW - Network computers KW - Informatics KW - Science KW - Communication systems KW - Distributed processing KW - Information Systems. KW - Logic design. KW - Cryptology. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory UR - https://www.unicat.be/uniCat?func=search&query=sysid:7541888 AB - FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a good spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical open problems, and giving presentations about ongoing work in the field, in order to favour discussions and novel scientific collaborations. This book presents thoroughly revised versions of ten tutorial lectures given by leading researchers during three International Schools on Foundations of Security Analysis and Design, FOSAD 2007/2008/2009, held in Bertinoro, Italy, in September 2007, August 2008, and August/September 2009. The topics covered in this book include cryptographic protocol analysis, program and resource certification, identity management and electronic voting, access and authorization control, wireless security, mobile code and communications security. ER -