George W. Dinolt

16 papers Journal 6Unranked 10

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Can You Trust Zero Trust? Computer James Bret Michael, George W. Dinolt, Frederick B. Cohen, Duminda Wijesekera
2020	J	`jnl`	Open Questions in Formal Methods. Computer James Bret Michael, George W. Dinolt, Doron Drusinsky
2016	—	`conf`	Mobile Konami Codes: Analysis of Android Malware Services Utilizing Sensor and Resource-Based State Changes. HICSS Jacob Boomgaarden, Joshua Corney, Holly Whittaker, George W. Dinolt, John McEachen
2015	—	`conf`	Challenges in emulating sensor and resource-based state changes for Android malware detection. ICSPCS Jacob Boomgaarden, Joshua Corney, Holly Whittaker, George W. Dinolt, John McEachen
2011	—	`conf`	A security and usability perspective of cloud file systems. SoSE Alex J. Nelson, George W. Dinolt, J. Bret Michael, Man-tak Shing
2011	J	`jnl`	Operations with Degraded Security. IEEE Secur. Priv. Simson L. Garfinkel, George W. Dinolt
2009	J	`jnl`	Bringing science to digital forensics with standardized forensic corpora. Digit. Investig. Simson L. Garfinkel, Paul F. Farrell Jr., Vassil Roussev, George W. Dinolt
2009	J	`jnl`	Cube-Type Algebraic Attacks on Wireless Encryption Protocols. Computer Nikolaos Petrakos, George W. Dinolt, James Bret Michael, Pantelimon Stanica
2003	—	`conf`	A Program for Education in Certification and Accreditation. World Conference on Information Security Education Craig W. Rasmussen, Cynthia E. Irvine, George W. Dinolt, Timothy E. Levin, Karen L. Burke
2003	—	`conf`	MYSEA Technology Demonstration. DISCEX (2) Cynthia E. Irvine, David J. Shifflett, Paul C. Clark, Timothy E. Levin, George W. Dinolt
2003	—	`conf`	Monterey Security Enhanced Architecture Project. DISCEX (2) Cynthia E. Irvine, David J. Shifflett, Paul C. Clark, Timothy E. Levin, George W. Dinolt
1994	—	`conf`	Combining Components and Policies. CSFW George W. Dinolt, Lee A. Benzinger, Mark Yatabe
1989	—	`conf`	Formal Model of a Trusted File Server. S&P J. C. Williams, George W. Dinolt
1987	—	`conf`	A Graph-Theoretic Formulation of Multilevel Secure Distributed Systems: An Overview. S&P J. C. Williams, George W. Dinolt
1984	—	`conf`	Multinet Gateway-Towards A1 Certification. S&P George W. Dinolt, Richard B. Neely, P. C. Baker, James W. Freeman
1975	J	`jnl`	Truncations of principal geometries. Discret. Math. Richard A. Brualdi, George W. Dinolt