George W. Dinolt

16 papers Journal 6Unranked 10
YearRankTypeTitle / 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