close
1.

電子ブック

EB
edited by Gunther Pernul, Peter Y A Ryan, Edgar Weippl
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9326
オンライン: http://dx.doi.org/10.1007/978-3-319-24174-6
2.

電子ブック

EB
edited by Gunther Pernul, Peter Y A Ryan, Edgar Weippl
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9327
オンライン: http://dx.doi.org/10.1007/978-3-319-24177-7
3.

電子ブック

EB
edited by Magnus Jonsson, Alexey Vinel, Boris Bellalta, Olav Tirkkonen
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9305
オンライン: http://dx.doi.org/10.1007/978-3-319-23440-3
目次情報: 続きを見る
Wireless sensor networks
Physical layer techniques
Resources handling and allocation
Medium access control protocols and video coding
Wireless sensor networks
Physical layer techniques
Resources handling and allocation
4.

電子ブック

EB
edited by Riccardo Focardi, Andrew Myers
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9036
オンライン: http://dx.doi.org/10.1007/978-3-662-46666-7
目次情報: 続きを見る
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
5.

電子ブック

EB
edited by Zhiqiu Huang, Xingming Sun, Junzhou Luo, Jian Wang
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9483
オンライン: http://dx.doi.org/10.1007/978-3-319-27051-7
目次情報: 続きを見る
Data Security
System Security
Cloud Platform
and Data Analysis in Cloud
Data Security
System Security
Cloud Platform
6.

電子ブック

EB
edited by Sara Foresti
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9331
オンライン: http://dx.doi.org/10.1007/978-3-319-24858-5
7.

電子ブック

EB
edited by Lucas C. K. Hui, S. H. Qing, Elaine Shi, S. M. Yiu
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8958
オンライン: http://dx.doi.org/10.1007/978-3-319-21966-0
目次情報: 続きを見る
Security
Cryptography
Secure protocols
Secure applications
Security proofs
Secure systems
Applied cryptography
Access control
Privacy protection
Network security
Security
Cryptography
Secure protocols
8.

電子ブック

EB
edited by Stig F. Mjolsnes
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9393
オンライン: http://dx.doi.org/10.1007/978-3-319-24192-0
目次情報:
Hashfunctions
Usability
Analysis
Hashfunctions
Usability
Analysis
9.

電子ブック

EB
edited by Sonja Buchegger, Mads Dam
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9417
オンライン: http://dx.doi.org/10.1007/978-3-319-26502-5
10.

電子ブック

EB
edited by Ching-Hsien Hsu, Feng Xia, Xingang Liu, Shangguang Wang
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9502
オンライン: http://dx.doi.org/10.1007/978-3-319-27293-1