Principles of security and trust : Third International Conference, POST 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, proceedings / Martín Abadi, Steve Kremer (eds.).
2014
QA76.9.A25
Linked e-resources
Linked Resource
Online Access
Details
Title
Principles of security and trust : Third International Conference, POST 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, proceedings / Martín Abadi, Steve Kremer (eds.).
Meeting Name
POST (Conference) (3rd : 2014 : Grenoble, France)
ISBN
9783642547928 electronic book
3642547923 electronic book
9783642547911 (paperback)
3642547915 (paperback)
3642547923 electronic book
9783642547911 (paperback)
3642547915 (paperback)
Published
Heidelberg : Springer, [2014]
Copyright
©2014
Language
English
Description
1 online resource (xviii, 305 pages) : illustrations (black and white).
Call Number
QA76.9.A25
Dewey Decimal Classification
005.8
Summary
This book constitutes the refereed proceedings of the Third International Conference on Principles of Security and Trust, POST 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, in April 2014. The 15 papers presented in this volume were carefully reviewed and selected from 55 submissions. They are organized in topical sections named: analysis of cryptographic protocols; quantitative aspects of information flow; information flow control in programming languages; cryptography in implementations and policies and attacks.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Abadi, Martín, editor.
Kremer, Steve, editor.
Kremer, Steve, editor.
Added Meeting Name
ETAPS (Conference) (17th : 2014 : Grenoble, France)
Series
Lecture notes in computer science ; 8414. 0302-9743
LNCS sublibrary. SL 4, Security and cryptology.
LNCS sublibrary. SL 4, Security and cryptology.
Available in Other Form
Principles of security and trust.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources