Foundations of Security Analysis and Design III 安全分析与设计基础 III

出版社:Springer
出版日期:2005-10-19
ISBN:9783540289555
作者:Alessandro Aldini
页数:272页

书籍目录

Part Ⅰ: FOSAD 2004 (6-11 September 2004) Justifying a Dolev-Yao Model Under Active Attacks Model-Based Security Engineering with UML A Tutorial on Physical Security and Side-Channel Attacks Static Analysis of AuthenticationPart Ⅱ: FOSAD 2005 (19-24 September 2005) Formal Methods for Smartcard Security Privacy-Preserving Database Systems Intrusion Detection: Introduction to Intrusion Detection and Security Information Management Security and Trust Requirements EngineeringAuthor Index

作者简介

The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of research groups, events, conferences, and summer schools that address the study of foundations for the analysis and the design of security aspects.   This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2004/2005, held in Bertinoro, Italy, in September 2004 and September 2005.  The lectures are devoted to: Justifying a Dolev-Yao Model under Active Attacks, Model-based Security Engineering with UML, Physical Security and Side-Channel Attacks, Static Analysis of Authentication, Formal Methods for Smartcard Security, Privacy-Preserving Database Systems, Intrusion Detection, Security and Trust Requirements Engineering.


 Foundations of Security Analysis and Design III 安全分析与设计基础 III下载



发布书评

 
 


 

外国儿童文学,篆刻,百科,生物科学,科普,初中通用,育儿亲子,美容护肤PDF图书下载,。 零度图书网 

零度图书网 @ 2024