LEADER 04766nam  22008055  450 
001 996465278403316
005 20200701144748.0
010   $a1-280-38625-8
010   $a9786613564177
010   $a3-642-12459-3
024 7 $a10.1007/978-3-642-12459-4
035   $a(CKB)2670000000017280
035   $a(SSID)ssj0000446470
035   $a(PQKBManifestationID)11271325
035   $a(PQKBTitleCode)TC0000446470
035   $a(PQKBWorkID)10491228
035   $a(PQKB)11457676
035   $a(DE-He213)978-3-642-12459-4
035   $a(MiAaPQ)EBC3065230
035   $a(PPN)149073275
035   $a(EXLCZ)992670000000017280
100   $a20100429d2010      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Aspects in Security and Trust$b[electronic resource] $e6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers /$fedited by Pierpaolo Degano, Joshua D. Guttman
205   $a1st ed. 2010.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010.
215   $a1 online resource (X, 279 p. 46 illus.)
225 1 $aSecurity and Cryptology ;$v5983
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-12458-5 
320   $aIncludes bibliographical references and index.
327   $aInvited 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.
410  0$aSecurity and Cryptology ;$v5983
606   $aComputer communication systems
606   $aData encryption (Computer science)
606   $aComputer security
606   $aComputers and civilization
606   $aManagement information systems
606   $aComputer science
606   $aInformation storage and retrieval
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020
606   $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060
606   $aComputers and Society$3https://scigraph.springernature.com/ontologies/product-market-codes/I24040
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
606   $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032
615  0$aComputer communication systems.
615  0$aData encryption (Computer science).
615  0$aComputer security.
615  0$aComputers and civilization.
615  0$aManagement information systems.
615  0$aComputer science.
615  0$aInformation storage and retrieval.
615 14$aComputer Communication Networks.
615 24$aCryptology.
615 24$aSystems and Data Security.
615 24$aComputers and Society.
615 24$aManagement of Computing and Information Systems.
615 24$aInformation Storage and Retrieval.
676   $a004.6
702   $aDegano$b Pierpaolo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGuttman$b Joshua D$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465278403316
996   $aFormal Aspects in Security and Trust$9772285
997   $aUNISA