1 option
Formal Aspects in Security and Trust : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers / edited by Pierpaolo Degano, Joshua D. Guttman.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Security and cryptology ; SL 4, 5983.
- Security and Cryptology ; 5983
- Language:
- English
- Subjects (All):
- Computer networks.
- Data encryption (Computer science).
- Computer security.
- Computers and civilization.
- Management information systems.
- Computer science.
- Information storage and retrieval.
- Computer Communication Networks.
- Cryptology.
- Systems and Data Security.
- Computers and Society.
- Management of Computing and Information Systems.
- Information Storage and Retrieval.
- Local Subjects:
- Computer Communication Networks.
- Cryptology.
- Systems and Data Security.
- Computers and Society.
- Management of Computing and Information Systems.
- Information Storage and Retrieval.
- Physical Description:
- 1 online resource (X, 279 pages) : 46 illustrations.
- Edition:
- First edition 2010.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
- System Details:
- text file PDF
- Contents:
- Invited Lecture
- Semantics and Enforcement of Expressive Information Flow Policies
- Session 1. Trust
- An Algebra for Trust Dilution and Trust Fusion
- HMM-Based Trust Model
- Deriving Trust from Experience
- Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties
- Session 2. Workflow and Orchestration
- Model Checking of Security-Sensitive Business Processes
- Session 3. Secure Flow
- Analysing the Information Flow Properties of Object-Capability Patterns
- Applied Quantitative Information Flow and Statistical Databases
- Specification and Verification of Side Channel Declassification
- Secure Information Flow for Distributed Systems
- Session 4. Mobility and Deniability
- Probable Innocence in the Presence of Independent Knowledge
- A Calculus of Trustworthy Ad Hoc Networks
- Session 5. Protocols 1
- Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties
- Game-Based Verification of Multi-Party Contract Signing Protocols
- Attack, Solution and Verification for Shared Authorisation Data in TCG TPM
- Session 6. Protocols 2
- Trusted Multiplexing of Cryptographic Protocols
- Specifying and Modelling Secure Channels in Strand Spaces
- Session 7. Protocols 3
- Integrating Automated and Interactive Protocol Verification
- A User Interface for a Game-Based Protocol Verification Tool.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-12459-4
- 9783642124594
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.