02158nam 2200601 a 450 991048416700332120200520144314.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)99267000000001728020100304d2010 uy 0engurnn#008mamaatxtccrFormal aspects in security and trust 6th international workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, revised selected papers /Pierpaolo Degano, Joshua D. Guttman (eds.)1st ed.New York Springer20101 online resource (X, 279 p. 46 illus.)Lecture notes in computer science,03029743 ;5983Bibliographic Level Mode of Issuance: Monograph3-642-12458-5 Includes bibliographical references and index.Session 1. Trust -- Session 2. Workflow and orchestration -- Session 3. Secure flow -- Session 4. Mobility and deniability -- Session 5. Protocols 1 -- Session 6. Protocols 2 -- Session 7. Protocols 3.Lecture notes in computer science ;5983.Computer securityCongressesFormal methods (Computer science)CongressesTrustCongressesComputer securityFormal methods (Computer science)Trust004.6Degano Pierpaolo1750376Guttman Joshua D1750377MiAaPQMiAaPQMiAaPQBOOK9910484167003321Formal aspects in security and trust4185000UNINA