02405nlm0 22006731i 450 9900092579504033219783540887331000925795FED01000925795(Aleph)000925795FED0100092579520100926d2008----km-y0itay50------baengDEdrnn-008mamaaProvable SecurityRisorsa elettronicaSecond International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedingsedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Joonsang Baek, Feng Bao, Kefei Chen, Xuejia LaiBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435324Documento elettronicoTestoFormato html, pdfBaek,JoonsangBao,FengChen,KefeiHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Lai,XuejiaMattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-88733-1EB990009257950403321AlgebraData processingCoding and Information TheoryCoding theoryComputer scienceComputer ScienceData EncryptionData encryption (Computer science)Data protectionInformation theoryMathematical Logic and Formal LanguagesSymbolic and Algebraic ManipulationSystems and Data SecurityTheory of ComputationProvable Security772128UNINA