Workshop on Formal Aspects in Security and Trust (2nd 2004 Toulouse, France)

Subjects

Computer science, Computer security, Congresses, Cryptology and Information Theory Data Structures, Data Encryption, Data encryption (Computer science), Data structures (Computer science), Formal methods (Computer science), Information Systems and Communication Service, Information systems, Models and Principles, Operating systems (Computers), Optical pattern recognition, Pattern Recognition, Performance and Reliability, Trust