Go to main content

Principles of security and trust [electronic resource] : 5th International Conference, POST 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / Frank Piessens, Luca Viganò (eds.).

POST (Conference) (5th : 2016 : Eindhoven, Netherlands); Piessens, F. (Frank), editor.; Viganò, Luca, editor.; ETAPS (Conference) (19th : 2016 : Eindhoven, Netherlands), jointly held conference.
2016
QA76.9.A25 P67 2016eb
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Principles of security and trust [electronic resource] : 5th International Conference, POST 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / Frank Piessens, Luca Viganò (eds.).
Meeting Name
POST (Conference) (5th : 2016 : Eindhoven, Netherlands)
ISBN
9783662496350 (electronic book)
3662496356 (electronic book)
9783662496343
DOI
https://doi.org/10.1007/978-3-662-49635-0
Published
Berlin : Springer, 2016.
Language
English
Description
1 online resource (x, 277 pages) : color illustrations.
Item Number
10.1007/978-3-662-49635-0 doi
Call Number
QA76.9.A25 P67 2016eb
Dewey Decimal Classification
005.8
Summary
This book constitutes the proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 12 full papers presented in this volume were carefully reviewed and selected from 35 submissions. They were organized in topical sections named: information flow; models and applications; protocols. .
Note
International conference proceedings.
Includes author index.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed April 6, 2016).
Added Author
Piessens, F. (Frank), editor.
Viganò, Luca, editor.
Added Meeting Name
ETAPS (Conference) (19th : 2016 : Eindhoven, Netherlands), jointly held conference.
Series
Lecture notes in computer science ; 9635.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 4, Security and cryptology.
Available in Other Form
Print version: 9783662496343
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Information Flow
Faceted Dynamic Information Flow via Control and Data Monads
Asymmetric Secure Multi-execution with Declassification
A Taxonomy of Information Flow Monitors
On Improvements of Low-Deterministic Security
Tool Demonstration: JOANA
Models and Applications
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study
Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels
Correct Audit Logging: Theory and Practice
The Value of Attack-Defence Diagrams
Protocols
Composing protocols with randomized actions
Bounding the number of agents, for equivalence too
AIF-omega: Set-Based Protocol Abstraction with Countable Families
Computational Soundness Results for Stateful Applied pi Calculus. .

Browse Subjects

Show more subjects...

Statistics

from
to
Export