Placeholder text

Go to cart

Foundations and Applications of Security Analysis

By Luca Viganò

Foundations and Applications of Security Analysis

By Luca Viganò

0 - Default Title
Description
A Policy Model for Secure Information Flow.- A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference.- Validating Security Protocols under the General Attacker.- Usage Automata.- Static Detection of Logic Flaws in Service-Oriented Applications.- Improving the Semantics of Imperfect Security.- Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data.- Transformations between Cryptographic Protocols.- Formal Validation of OFEPSP+ with AVISPA.- On the Automated Correction of Protocols with Improper Message Encoding.- Finite Models in FOL-Based Crypto-Protocol Verification.- Towards a Type System for Security APIs.- Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption.- How Many Election Officials Does It Take to Change an Election?.
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
236
Release Date:
2009-09-03
Publication Date:
2009-09-03
Publisher:
Springer
Languages:
Original: English
ISBN10:
3642034586
ISBN13:
9783642034589
GPSR Manufacturer Reference:
[email protected]
Minimum Reading Age:
10
Maximum Reading Age:
80
Weight:
365 g
Height:
155 cm
Width:
235 cm
Thickness:
13 cm
Currently sold out