책 이미지
eBook 미리보기
책 정보
· 제목 : Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 보안 > 일반
· ISBN : 9783540289555
· 쪽수 : 276쪽
· 출판일 : 2005-09-12
· 분류 : 외국도서 > 컴퓨터 > 보안 > 일반
· ISBN : 9783540289555
· 쪽수 : 276쪽
· 출판일 : 2005-09-12
목차
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 Authentication.- 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 Engineering.
