h - Cervesato, Iliano; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Computer science; Computer Communication Networks; Data protection; Data structures (Computer science); Computer software; Logic design; Information Systems; Computer Science; Logics and Meanings of Programs; Data Structures, Cryptology and Information Theory; Systems and Data Security; Algorithm Analysis and Problem Complexity; Computer Communication Networks; Management of Computing and Information Systems