Timothy J. Shimeall

发表

A Temporal Logic for Network Flow Analysis

Timothy J. Shimeall, T. Shimeall, 2010 .

Deception Strategies: Networks, Organization, and Structures

Jonathan M. Spring, Timothy J. Shimeall, 2014 .

Frustration Strategies: Formal Verification

Jonathan M. Spring, Timothy J. Shimeall, 2014 .

Resistance Strategies: Symmetric Encryption

Jonathan M. Spring, Timothy J. Shimeall, 2014 .

FALTER -- A Fault Annotation Tool

Timothy J. Shimeall, T. Shimeall, 1989 .

Self-checking software

Nancy G. Leveson, Timothy J. Shimeall, John C. Knight, 1986 .

An empirical evaluation of six methods to detect faults in software

Yong Rae Kwon, Sung Deok Cha, Timothy J. Shimeall, 2002, Softw. Test. Verification Reliab..

Deception Strategies: Defensive Technologies

Jonathan M. Spring, Timothy J. Shimeall, 2014 .

Towards Network Science Enhanced Cyber Situational Awareness

Kathleen M. Carley, Timothy J. Shimeall, Geoffrey B. Dobson, 2017, Int. J. Cyber Situational Aware..

Resistance Strategies: Authentication and Permissions

Jonathan M. Spring, Timothy J. Shimeall, 2014 .

Using uncleanliness to predict future botnet addresses

Joseph B. Kadane, M. Patrick Collins, Timothy J. Shimeall, 2007, IMC '07.

System Dynamics Modeling for Information Security: Invitational Group Modeling Workshop Preliminary Description of Thread on the Insider Threat Problem

Dawn M. Cappelli, Jose J. Gonzalez, Timothy J. Shimeall, 2004 .

Introduction to Information Security

Timothy J. Shimeall, T. Shimeall, 2013 .

EFFECTIVE MANAGEMENT OF CLASSIFIED DOCUMENTS USING THE LIBRARY DOCUMENT SYSTEM

Timothy J. Shimeall, T. Shimeall, 1994 .

Safety verification of ADA programs in MURPHY

Nancy G. Leveson, Timothy J. Shimeall, S. S. Cha, 1987 .

Analytical Evaluation Framework

Timothy J. Shimeall, 2011 .

Frustration Strategies: Technical Controls

Jonathan M. Spring, Timothy J. Shimeall, 2014 .

Predicting future botnet addresses with uncleanliness

Timothy J. Shimeall, Rhiannon Weaver, Jeff Janies, 2007 .

Professional Certifications and Overall Conclusions

Jonathan M. Spring, Timothy J. Shimeall, 2014 .

An Empirical Comparison of Software Fault Tolerance and Fault Elimination

Nancy G. Leveson, Timothy J. Shimeall, T. Shimeall, 1991, IEEE Trans. Software Eng..

Iterative Software Testing

Timothy J. Shimeall, Stephen C. Shimeall, 1992 .

Roundtable on Information Security Policy

Ross Anderson, Philip Machanick, Doug Brown, 2000, IEEE Software.

Safety verification in MURPHY using fault tree analysis

Nancy G. Leveson, Timothy J. Shimeall, S. S. Cha, 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

Resistance Strategies: Partitioning and Need to Know

Jonathan M. Spring, Timothy J. Shimeall, 2014 .

Exploring the Interactions Between Network Data Analysis and Security Information/Event Management

Timothy J. Shimeall, T. Shimeall, 2011 .

Recognition Strategies: Intrusion Detection and Prevention

Jonathan M. Spring, Timothy J. Shimeall, T. Shimeall, 2014 .

REACHER--a reachability condition derivation tool / [by] Timothy J. Shimeall.

Timothy J. Shimeall, 1989 .

Views on software testability (panel)

Jeffrey M. Voas, Timothy J. Shimeall, Michael Friedman, 1994, ISSTA '94.

Introduction to Information Security: A Strategic-Based Approach

Jonathan M. Spring, Timothy J. Shimeall, 2013 .

Intelligence analysis for internet security: ideas, barriers, and possibilities

Timothy J. Shimeall, Phil Williams, Casey J. Dunlevy, 2001, SPIE Optics East.

Software fault tree analysis tool user's manual

Nancy G. Leveson, Timothy J. Shimeall, Craig Rolandelli, 1986 .

Network Analysis and Forensics

Jonathan M. Spring, Timothy J. Shimeall, T. Shimeall, 2014 .

The Use of Self Checks and Voting in Software Error Detection: An Empirical Study

Nancy G. Leveson, Timothy J. Shimeall, John C. Knight, 1990, IEEE Trans. Software Eng..

Dynamics of Vulnerability – Modeling the Life Cycle of Software Vulnerabilities

Jose J. Gonzalez, Timothy J. Shimeall, Howard F. Lipson, 2004 .

Safety verification of Ada programs using software fault trees

Nancy G. Leveson, Timothy J. Shimeall, S. S. Cha, 1991, IEEE Software.

Recognition Strategies: Integrity Detection

Jonathan M. Spring, Timothy J. Shimeall, 2014 .

A Library of Failure Regions

Timothy J. Shimeall, 1991 .

Recovery of Security

Jonathan M. Spring, Timothy J. Shimeall, 2014 .

Intelligence Analysis for Internet Security

Timothy J. Shimeall, Phil Williams, Casey J. Dunlevy, 2002 .

Management and Education of the Risk of Insider Threat (MERIT): System Dynamics Modeling of Computer System Sabotage

Dawn M. Cappelli, Andrew P. Moore, Timothy J. Shimeall, 2008 .

Management and Education of the Risk of Insider Threat (MERIT): Mitigating the Risk of Sabotage to Employers’ Information, Systems, or Networks

Dawn M. Cappelli, Andrew P. Moore, Timothy J. Shimeall, 2007 .