gwdinolt «at» nps·edu
Professor Dinolt is based in the Computer Science Department at the Naval Postgraduate School. His research interests are primarily in the "high assurance" portions of Computer Security. Professor Dinolt works in Formal Methods and the connections between them and Security Policies, Secure Systems Architectures and Secure Systems Design. He also works in Computer Network (Cyber) Operations.
|Jun 27, 2011||Alex Nelson, George Dinolt, Bret Michael, Man-Tak Shing, Secure File and Storage Systems] [Ultra-Large Scale Storage]|
Click here for a list of recent collaborators.
Last modified May 22 2019