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

2005-10-19  

Springer  

Alessandro Aldini  

272  

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.

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

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