当前位置：
首页
>
出版信息
>
详细信息
快速检索
数据库：
各中心已购纸本教材
各中心已购电子教材
国内高校课程
国外著名大学课程
外文原版教材出版信息
外文影印版教材出版信息
名校购书信息
关键词：
Foundations of Security Analysis and Design Iii
- Fosad 2004/2005 Tutorial Lectures
书目信息
ISBN：
9783540289555（13位）
中图分类号：
TP3
杜威分类号：
中文译名：
安全分析与设计基础III：FOSAD 2004/2005指南讲稿
作者：
Alessandro Aldini; Roberto Gorrieri; Fabio Martinelli (Eds.)
编者：
语种：
English
出版信息
出版社：
Springer
出版地：
出版年：
2005
版本：
版本类型：
原版
丛书题名：
Lecture Notes in Computer Science Vol. 3655
卷期：
文献信息
关键词：
Computer Science
前言：
摘要：
内容简介：
<P>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.</P> <P>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.</P>
目次：
附录：
全文链接：
读者对象：
Grad. textbook
实体信息
页码：
273
装帧：
Soft
尺寸：
其它形态细节：
其它信息
原价：
EUR
42.0000
原版ISBN：
其它ISBN：
图书特色：
书评：
扩展信息
Isbn：
3540289550
issue：
2006JC02
相关附件