主題:Computer security ; Formal methods (Computer science) ; Public key infrastructure (Computer security) ; Computer Science. ; Computer Communication Networks. ; Data Encryption. ; Systems and Data Security. ; Computers and Society. ; Management of Computing and Information Systems. ; Information Storage and Retrieval.