Formal Aspects in Security and Trustde Pierpaolo DeganoMateriasInformation SystemsComputer scienceInformation storage and retrieval systemsComputer networksData protectionData encryption (Computer science)Computer securityFormal methods (Computer science)TrustCongressesEdiciones (1)Formal Aspects in Security and Trust (2010)Springer-Verlag Berlin Heidelberg · inglés · ISBN 9783642124587Más obras de Pierpaolo DeganoComputational Methods in Systems BiologyFormal Aspects of Security and TrustConcurrency Graphs And Models Essays Dedicated To Ugo Montanari On The Occasion Of His 65th Birthday