>> Google Books

Principles of Security and Trust : 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

フォーマット:
電子ブック
責任表示:
edited by Riccardo Focardi, Andrew Myers
言語:
英語
出版情報:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
形態:
XII, 365 p. 56 illus
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 9036
目次情報:
Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
Very Static Enforcement of Dynamic Policies
The Foundational Cryptography Framework
On the Flow of Data, Information, and Time
Pareto Efficient Solutions of Attack-Defence Trees
Analysis of XACML Policies with SMT
Automatically Checking Commitment Protocols in ProVerif without False Attacks
Generalizing Multi-party Contract Signing
Leakiness is Decidable for Well-Founded Protocols
Abstractions for Security Protocol Verification
Automated Backward Analysis of PKCS#11 v2.20
A Safe Update Mechanism for Smart Cards
Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols
Timing Attacks in Security Protocols: Symbolic Framework and Proof Techniques
Type-Based Verification of Electronic Voting Protocols
Composing Security Protocols: From Confidentiality to Privacy
PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law
Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
Very Static Enforcement of Dynamic Policies
The Foundational Cryptography Framework
On the Flow of Data, Information, and Time
Pareto Efficient Solutions of Attack-Defence Trees
続きを見る
書誌ID:
LB00386680
ISBN:
9783662466650 [3662466651]  CiNii Books  Webcat Plus  Google Books
9783662466667 [366246666X]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Foresti, Sara, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Baier, Christel, Tinelli, Cesare, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Pernul, Gunther, Y A Ryan, Peter, Weippl, Edgar, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Qiu, Meikang, Xu, Shouhuai, Yung, Moti, Zhang, Haibo, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Pernul, Gunther, Y A Ryan, Peter, Weippl, Edgar, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Malkin, Tal, Kolesnikov, Vladimir, Lewko, Allison Bishop, Polychronakis, Michalis, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Jajodia, Sushil, Mazumdar, Chandan, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Huang, Zhiqiu, Sun, Xingming, Luo, Junzhou, Wang, Jian, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Hui, Lucas C. K., Qing, S. H., Shi, Elaine, Yiu, S. M., SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Chakraborty, Rajat Subhra, Schwabe, Peter, Solworth, Jon, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Vitek, Jan, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Khouzani, MHR, Panaousis, Emmanouil, Theodorakopoulos, George, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer