Bill Roscoe

Subjects

Access control, Artificial intelligence, Computer network protocols, Computer networks, Computer networks, security measures, Computer networks--security measures, Computer science, Computer security, Computer security--mathematical models, Computer software, Computer software--verification, Computers, Computers--access control, Cryptography, Mathematical models, Qa76.9.a25 r93 2001, Security measures, Tk5105.59 .r93 2001, Verification