Formal Aspects in Security and Trust c - Dimitrakos, Theo.; Martinelli, Fabio; SpringerLink (Online service) (Boston, MA : Springer US, 2005)
Keywords: Computer science; Operating systems (Computers).; Data structures (Computer science).; Data encryption (Computer science).; Information systems; Optical pattern recognition; Computer Science; Models and Principles; Performance and Reliability; Data Encryption; Information Systems and Communication Service; Data Structures, Cryptology and Information Theory; Pattern Recognition