TY - DATA AU - Aldini,Alessandro AU - Gorrieri,Roberto AU - Martinelli,Fabio ED - SpringerLink (Online service) TI - Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures T2 - Lecture Notes in Computer Science, SN - 9783540319368 AV - QA76.9.A25 A43 2005 PY - 2005/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Computer Communication Networks KW - Operating systems (Computers) KW - Data encryption (Computer science) KW - Logic design KW - Information Systems KW - Computer Science KW - Operating Systems KW - Data Encryption KW - Management of Computing and Information Systems KW - Logics and Meanings of Programs KW - Programming Languages, Compilers, Interpreters UR - http://dx.doi.org/10.1007/11554578 ER -