01633nlm0 22004691i 450 9900092513504033219783540748106000925135FED01000925135(Aleph)000925135FED0100092513520100926d2007----km-y0itay50------baengDEdrnn-008mamaaFoundations of Security Analysis and Design IVRisorsa elettronicaFOSAD 2006/2007 Tutorial Lecturesedited by Alessandro Aldini, Roberto GorrieriBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434677Documento elettronicoTestoFormato html, pdfAldini,AlessandroGorrieri,RobertoITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-74810-6EB990009251350403321Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceData EncryptionData encryption (Computer science)Information SystemsLogic designLogics and Meanings of ProgramsManagement of Computing and Information SystemsOperating SystemsOperating systems (Computers)Programming Languages, Compilers, InterpretersFoundations of Security Analysis and Design IV772080UNINA