01677nlm0 22004811i 450 9900092618704033219783642038297000926187FED01000926187(Aleph)000926187FED0100092618720100926d2009----km-y0itay50------baengDEdrnn-008mamaaFoundations of Security Analysis and Design VRisorsa elettronicaFOSAD 2007/2008/2009 Tutorial Lecturesedited by Alessandro Aldini, Gilles Barthe, Roberto GorrieriBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435705Documento elettronicoTestoFormato html, pdfAldini,AlessandroBarthe,GillesGorrieri,RobertoITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-03829-7EB990009261870403321Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceData EncryptionData encryption (Computer science)Data protectionInformation SystemsLogic designLogics and Meanings of ProgramsManagement of Computing and Information SystemsProgramming Languages, Compilers, InterpretersSystems and Data SecurityFoundations of Security Analysis and Design V773697UNINA