John Hale

Matt Matlock, Nakeisha Schimke, Liang Kong, Stephen Macke, John Hale: Systematic Redaction for Neuroimage Data. IJCMAM 3(2): 63-75 (2012)

Peter J. Hawrylak, Nakeisha Schimke, John Hale, Mauricio Papa: Security Risks Associated with Radio Frequency Identification in Medical Environments. J. Medical Systems 36(6): 3491-3505 (2012)

Liang Kong, John Hale, David Greer: Spatial identity awareness: Towards secure collaborative environments. CTS 2012: 478-484

Matthew Butler, Peter J. Hawrylak, John Hale: Graceful privilege reduction in RFID security. CSIIRW 2011: 47

George Louthan, Phoebe Hardwicke, Peter J. Hawrylak, John Hale: Toward hybrid attack dependency graphs. CSIIRW 2011: 62

Zach Harbort, George Louthan, John Hale: Techniques for attack graph visualization and interaction. CSIIRW 2011: 74

Nakeisha Schimke, Mary Kuehler, John Hale: Preserving Privacy in Structural Neuroimages. DBSec 2011: 301-308

Peter Gehres, Nathan Singleton, George Louthan, John Hale: Toward sensitive information redaction in a collaborative, multilevel security environment. Int. Sym. Wikis 2010

Stephen Tyree, Rayus Kuplicki, Trevor Sarratt, Scott Fujan, John Hale: GridSPiM: A Framework for Simple Locality and Containment in the Stochastic pi-Calculus. BICoB 2009: 409-423

George Louthan, Brady Deetz, Matthew Walker, John Hale: Content-based alternatives to conventional network monitoring systems. CSIIRW 2009: 67

George Louthan, Collin McMillan, Christopher Johnson, John Hale: Toward Robust and Extensible Automatic Protocol Identification. International Conference on Internet Computing 2009: 104-108

John Hale: Heuristic search in a cognitive model of human parsing. IWPT 2009: 230-233

Gavin Wylie Manes, James Johnson, Alex Barclay, Michael Harvey, Elizabeth Downing, John Hale: Issues and Techniques for Redacting PDF Files. J. Digital Forensic Practice 2(3): 113-116 (2008)

Kevin Clark, Ethan Singleton, Stephen Tyree, John Hale: Strata-Gem: risk assessment through mission modeling. QoP 2008: 51-58

John Hale, Paul Brusil: Secur(e/ity) Management: A Continuing Uphill Climb. J. Network Syst. Manage. 15(4): 525-553 (2007)

John Hale: Book Review. Journal of Logic, Language and Information 16(2): 217-220 (2007)

Alex Barclay, L. Watson, David Greer, John Hale, Gavin Manes: Redacting Digital Information from Electronic Devices. IFIP Int. Conf. Digital Forensics 2007: 205-214

John Hale: Uncertainty About the Rest of the Sentence. Cognitive Science 30(4): 643-672 (2006)

John Hale, Izhak Shafran, Lisa Yung, Bonnie J. Dorr, Mary P. Harper, Anna Krasnyanskaya, Matthew Lease, Yang Liu, Brian Roark, Matthew G. Snover, Robin Stewart: PCFGs with Syntactic and Prosodic Indicators of Speech Repairs. ACL 2006

Paul Brusil, John Hale: The Shifting Sands of Security Management. J. Network Syst. Manage. 13(3): 241-245 (2005)

John Hale, Paul Brusil: Secur(e/ity) Management: Two Sides of the Same Coin. J. Network Syst. Manage. 12(1): 1-8 (2004)

Jerald Dawkins, John Hale: A Systematic Approach to Multi-Stage Network Attack Analysis. IWIA 2004: 48-58

John Hale, Mauricio Papa, Sujeet Shenoi: Programmable Access Control. Journal of Computer Security 11(3): 331-352 (2003)

Mauricio Papa, Oliver Bremer, John Hale, Sujeet Shenoi: Integrating Logics and Process Calculi for Cryptographic Protocol Analysis. SEC 2003: 349-360

Clinton Campbell, Jerald Dawkins, Brandon Pollet, Kenneth Fitch, John Hale, Mauricio Papa: On Modeling Computer Networks for Vulnerability Analysis. DBSec 2002: 233-244

Stephen Magill, Bradley Skaggs, Mauricio Papa, John Hale: Implementation and Verification of Programmable Security. DBSec 2002: 285-299

G. Lorenz, J. Keller, Gavin Manes, John Hale, Sujeet Shenoi: Public Telephone Network Vulnerabilities. DBSec 2001: 151-164

Mauricio Papa, Oliver Bremer, John Hale, Sujeet Shenoi: Formal Analysis of E-Commerce Protocols. ISADS 2001: 19-28

John Hale: A Probabilistic Earley Parser as a Psycholinguistic Model. NAACL 2001

John Hale, Jody Threet, Sujeet Shenoi: A Ticket-Based Access Control Architecture for Object Systems. Journal of Computer Security 8(1): 43-65 (2000)

John Hale, Mauricio Papa, Oliver Bremer, Rodrigo Chandia, Sujeet Shenoi: Extending Java for Package based Access Control. ACSAC 2000: 67-76

Pablo Galiasso, Oliver Bremer, John Hale, Sujeet Shenoi, David F. Ferraiolo, Vincent C. Hu: Policy Mediation for Multi-Enterprise Environments. ACSAC 2000: 100-106

Mauricio Papa, Oliver Bremer, Stephen Magill, John Hale, Sujeet Shenoi: Simulation and Analysis of Cryptographic Protocols. DBSec 2000: 89-100

John Hale, Rodrigo Chandia, Clinton Campbell, Sujeet Shenoi: Language Extensions for Programmable Security. DBSec 2000: 221-232

Vijayalakshmi Atluri, John Hale (Eds.): Research Advances in Database and Information Systems Security, IFIP WG 11.3 Thirteenth International Conference on Database Security, July 26-28, 1999, Seattle, Washington, USA. IFIP Conference Proceedings 171, Kluwer 2000, isbn 0-7923-7848-2

John Hale, Pablo Galiasso, Mauricio Papa, Sujeet Shenoi: Security Policy Coordination for Heterogeneous Information Systems. ACSAC 1999: 219-228

John Hale, Mauricio Papa, Sujeet Shenoi: Programmable Security for Object-Oriented Systems. DBSec 1998: 109-123

John Hale, Jody Threet, Sujeet Shenoi: Capability-Based Primitives for Access Control in Object-Oriented Systems. DBSec 1997: 134-148

M. Berryman, C. Rummel, Mauricio Papa, John Hale, Jody Threet, Sujeet Shenoi: An Environment for Developing Securely Interoperable Heterogeneous Distributed Objects. DBSec 1997: 385-388

John Hale, Sujeet Shenoi: Catalytic Inference Analysis: Detecting Inference Threats due to Knowledge Discovery. IEEE Symposium on Security and Privacy 1997: 188-199

John Hale, Sujeet Shenoi: Analyzing FD Inference in Relational Databases. Data Knowl. Eng. 18(2): 167-183 (1996)

John Hale, Jody Threet, Sujeet Shenoi: A Framework for High Assurance Security of Distributed Objects. DBSec 1996: 101-119

Surath Rath, Dominic Jones, John Hale, Sujeet Shenoi: A Tool for Inference Detection and Knowledge Discovery in Databases. DBSec 1995: 317-332

Sandip Sen, Mahendra Sekaran, John Hale: Learning to Coordinate without Sharing Information. AAAI 1994: 426-431

John Hale, Jody Threet, Sujeet Shenoi: A Practical Formalism for Imprecise Inference Control. DBSec 1994: 139-156

Arthur L. Corcoran, John Hale: A genetic algorithm for fragment allocation in a distributed database system. SAC 1994: 247-250