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]|
Last modified 26 Jul 2010