George W. Dinolt

According to our database, George W. Dinolt authored at least 16 papers between 1975 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Can You Trust Zero Trust?

James Bret Michael, George W. Dinolt, Frederick B. Cohen, Duminda Wijesekera

Computer, 2022

2020

Open Questions in Formal Methods.

James Bret Michael, George W. Dinolt, Doron Drusinsky

Computer, 2020

2016

Mobile Konami Codes: Analysis of Android Malware Services Utilizing Sensor and Resource-Based State Changes.

Jacob Boomgaarden, Joshua Corney, Holly Whittaker, George W. Dinolt, John McEachen

Proceedings of the 49th Hawaii International Conference on System Sciences, 2016

2015

Challenges in emulating sensor and resource-based state changes for Android malware detection.

Jacob Boomgaarden, Joshua Corney, Holly Whittaker, George W. Dinolt, John McEachen

Proceedings of the 9th International Conference on Signal Processing and Communication Systems, 2015

2011

Operations with Degraded Security.

Simson L. Garfinkel, George W. Dinolt

IEEE Secur. Priv., 2011

A security and usability perspective of cloud file systems.

Alex J. Nelson, George W. Dinolt, J. Bret Michael, Man-tak Shing

Proceedings of the 6th International Conference on System of Systems Engineering, 2011

2009

Bringing science to digital forensics with standardized forensic corpora.

Simson L. Garfinkel, Paul F. Farrell Jr., Vassil Roussev, George W. Dinolt

Digit. Investig., 2009

Cube-Type Algebraic Attacks on Wireless Encryption Protocols.

Nikolaos Petrakos, George W. Dinolt, James Bret Michael, Pantelimon Stanica

Computer, 2009

2003

A Program for Education in Certification and Accreditation.

Craig W. Rasmussen, Cynthia E. Irvine, George W. Dinolt, Timothy E. Levin, Karen L. Burke

Proceedings of the Security Education and Critical Infrastructures, 2003

Monterey Security Enhanced Architecture Project.

Cynthia E. Irvine, David J. Shifflett, Paul C. Clark, Timothy E. Levin, George W. Dinolt

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

MYSEA Technology Demonstration.

Cynthia E. Irvine, David J. Shifflett, Paul C. Clark, Timothy E. Levin, George W. Dinolt

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

1994

Combining Components and Policies.

George W. Dinolt, Lee A. Benzinger, Mark Yatabe

Proceedings of the Seventh IEEE Computer Security Foundations Workshop, 1994

1989

Formal Model of a Trusted File Server.

J. C. Williams, George W. Dinolt

Proceedings of the 1989 IEEE Symposium on Security and Privacy, 1989

1987

A Graph-Theoretic Formulation of Multilevel Secure Distributed Systems: An Overview.

J. C. Williams, George W. Dinolt

Proceedings of the 1987 IEEE Symposium on Security and Privacy, 1987

1984

Multinet Gateway-Towards A1 Certification.

George W. Dinolt, Richard B. Neely, P. C. Baker, James W. Freeman

Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 29, 1984

1975

Truncations of principal geometries.

Richard A. Brualdi, George W. Dinolt

Discret. Math., 1975