01156nam--2200361---450-99000583691020331620130430171505.0000583691USA01000583691(ALEPH)000583691USA0100058369120130430d1988----km-y0itay50------baitaIT||||||||001yyPaletnologi e studi preistorici nell'Emilia Romagna dell'OttocentoMarcel DesittereReggio EmiliaComune di Reggio nell'Emilia1988174 p.ill.29 cmComune di Reggio nell'Emilia, Civici Musei. Documenti42001Comune di Reggio nell'Emilia, Civici Musei. Documenti42001001-------2001PreistoriaStudiItalia centraleBNCF930DESITTERE,Marcel220606ITsalbcISBD990005836910203316CT 283315 DSABKDSADSA9020130430USA011715Paletnologi e studi preistorici nell'Emilia Romagna dell'Ottocento178115UNISA04766nam 22008055 450 99646527840331620200701144748.01-280-38625-897866135641773-642-12459-310.1007/978-3-642-12459-4(CKB)2670000000017280(SSID)ssj0000446470(PQKBManifestationID)11271325(PQKBTitleCode)TC0000446470(PQKBWorkID)10491228(PQKB)11457676(DE-He213)978-3-642-12459-4(MiAaPQ)EBC3065230(PPN)149073275(EXLCZ)99267000000001728020100429d2010 u| 0engurnn#008mamaatxtccrFormal Aspects in Security and Trust[electronic resource] 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers /edited by Pierpaolo Degano, Joshua D. Guttman1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (X, 279 p. 46 illus.)Security and Cryptology ;5983Bibliographic Level Mode of Issuance: Monograph3-642-12458-5 Includes bibliographical references and index.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.Security and Cryptology ;5983Computer communication systemsData encryption (Computer science)Computer securityComputers and civilizationManagement information systemsComputer scienceInformation storage and retrievalComputer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Cryptologyhttps://scigraph.springernature.com/ontologies/product-market-codes/I28020Systems and Data Securityhttps://scigraph.springernature.com/ontologies/product-market-codes/I28060Computers and Societyhttps://scigraph.springernature.com/ontologies/product-market-codes/I24040Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032Computer communication systems.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.004.6Degano Pierpaoloedthttp://id.loc.gov/vocabulary/relators/edtGuttman Joshua Dedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465278403316Formal Aspects in Security and Trust772285UNISA