000 01626nmm a22004455u 4500
003 OSt
007 cr nn 008mamaa
008 070919s2005 xx s j eng d
020 _a9783540319368
040 _aUCA
_cUCA
100 1 _aAldini, Alessandro.
245 1 0 _aFoundations of Security Analysis and Design III
_h[Recurso electrónico] /
_bFOSAD 2004/2005 Tutorial Lectures
_cedited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli.
260 _aBerlin Heidelberg :
_bSpringer-Verlag GmbH.,
_c2005
300 _bv.: digital
490 0 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v3655
506 _aRestringido a usuarios de la UCA
538 _aModo de acceso: World Wide Web
650 0 0 _aComputer Communication Networks
650 0 0 _aComputer science
650 0 0 _aData encryption (Computer science)
650 0 0 _aInformation Systems
650 0 0 _aLogic design
650 0 0 _aOperating systems (Computers)
650 0 0 _aComputer Science
650 0 0 _aComputer Communication Networks
650 0 0 _aData Encryption
650 0 0 _aLogics and Meanings of Programs
650 0 0 _aManagement of Computing and Information Systems
650 0 0 _aOperating Systems
650 0 0 _aProgramming Languages, Compilers, Interpreters
700 1 _aGorrieri, Roberto
700 1 _aMartinelli, Fabio
710 2 _aSpringerLink (Online service)
740 0 _aSpringerLink e-books (Servicio en línea)
773 0 _tSpringer e-books
856 4 0 _uhttp://dx.doi.org/10.1007/11554578
_zTexto completo
909 _binter
_c-
942 _n0
998 _b0
_c080424
_de
_ey
_f-
_g0
999 _c837770
_d837770