James Bret Michael

J. Bret Michael, Bret Michael

	2012
j25		Anthony Patrick Melaragno, Damindra Bandara, Duminda Wijesekera, James Bret Michael: Securing the ZigBee Protocol in the Smart Grid. IEEE Computer 45(4): 92-94 (2012)
j24		William H. Boothby, Wolff Heintschel von Heinegg, James Bret Michael, Michael N. Schmitt, Thomas C. Wingfield: When Is a Cyberattack a Use of Force or an Armed Attack? IEEE Computer 45(8): 82-84 (2012)
j23		Arnold Brown, Benjamin Apple, James Bret Michael, Michael Schumann: Atomic-Level Security for Web Applications in a Cloud Environment. IEEE Computer 45(12): 80-83 (2012)
j22		Jeffrey M. Voas, J. Bret Michael, Michiel van Genuchten: The Mobile Software App Takeover. IEEE Software 29(4): 25-27 (2012)
	2011
j21		Jeffrey M. Voas, George F. Hurlburt, Keith W. Miller, Phillip A. Laplante, Bret Michael: Thoughts on Higher Education and Scientific Research. IT Professional 13(2): 6-9 (2011)
j20		T. Owens Walker III, Murali Tummala, John C. McEachen, J. Bret Michael: Flow-Specific Medium Access for Networked Satellite System. IEEE Systems Journal 5(3): 427-434 (2011)
j19		James Bret Michael, Doron Drusinsky, Thomas W. Otani, Man-tak Shing: Verification and Validation for Trustworthy Software Systems. IEEE Software 28(6): 86-92 (2011)
c32		Jason S. Bolin, James Bret Michael, Man-tak Shing: Cloud Computing Support for Collaboration and Communication in Enterprise-Wide Workflow Processes. SERVICES 2011: 589-593
	2010
j18		James Bret Michael, John F. Sarkesain, Thomas C. Wingfield, Georgios Dementis, Goncalo Nuno Baptista Sousa: Integrating Legal and Policy Factors in Cyberpreparedness. IEEE Computer 43(4): 90-92 (2010)
j17		James Bret Michael, Eneken Tikk, Peter Wahlgren, Thomas C. Wingfield: From Chaos to Collective Defense. IEEE Computer 43(8): 91-94 (2010)
j16		George F. Hurlburt, Jeffrey M. Voas, Keith W. Miller, Phillip A. Laplante, Bret Michael: A Nonlinear Perspective on Higher Education. IEEE Computer 43(12): 90-92 (2010)
j15		John Viega, Bret Michael: Guest Editors' Introduction: Mobile Device Security. IEEE Security & Privacy 8(2): 11-12 (2010)
j14		James Bret Michael, Man-tak Shing, K. J. Cruickshank, P. J. Redmond: Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety. IEEE Systems Journal 4(2): 186-197 (2010)
c31		Kevin D. Foster, John J. Shea, James Bret Michael, Thomas W. Otani, Loren Peitso, Man-tak Shing: Cloud Computing for Large-Scale Weapon Systems. GrC 2010: 161-166
c30		Kevin D. Foster, John J. Shea, Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing: Removing the Boundaries: Steps Toward a Cloud Nirvana. GrC 2010: 167-171
	2009
j13		Nikolaos Petrakos, George W. Dinolt, James Bret Michael, Pantelimon Stanica: Cube-Type Algebraic Attacks on Wireless Encryption Protocols. IEEE Computer 42(10): 103-105 (2009)
j12		Alexander J. Beecroft, James Bret Michael: Passive Fingerprinting of Network Reconnaissance Tools. IEEE Computer 42(11): 91-93 (2009)
j11		Bret Michael, Jeffrey M. Voas, Phillip A. Laplante: Cyberpandemics: History, Inevitability, Response. IEEE Security & Privacy 7(1): 63-67 (2009)
j10		Bret Michael: In Clouds Shall We Trust? IEEE Security & Privacy 7(5): 3 (2009)
j9		K. J. Rothenhaus, James Bret Michael, Man-tak Shing: Architectural Patterns and Auto-Fusion Process for Automated Multisensor Fusion in SOA System-of-Systems. IEEE Systems Journal 3(3): 304-316 (2009)
c29		Kadir Alpaslan Demir, James Bret Michael, John S. Osmundson: Approaches for Measuring Software Project Management Effectiveness. Software Engineering Research and Practice 2009: 613-619
	2008
j8		Bret Michael: Are Governments Up to the Task? IEEE Security & Privacy 6(6): 4-5 (2008)
j7		Doron Drusinsky, James Bret Michael, Man-tak Shing: A framework for computer-aided validation. ISSE 4(2): 161-168 (2008)
j6		Doron Drusinsky, James Bret Michael, Man-tak Shing: A Visual Tradeoff Space for Formal Verification and Validation Techniques. IEEE Systems Journal 2(4): 513-519 (2008)
c28		Clifford C. Juan, James Bret Michael, Christopher S. Eagle: Vulnerability Analysis of HD Photo Image Viewer Applications. SSIRI 2008: 1-7
c27		Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing: Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance. SSIRI 2008: 47-51
	2007
c26		Thomas W. Otani, Mikhail Auguston, Thomas S. Cook, Doron Drusinsky, James Bret Michael, Man-tak Shing: A design pattern for using non-developmental items in real-time Java. JTRES 2007: 135-143
	2006
j5		Mikhail Auguston, James Bret Michael, Man-tak Shing: Environment behavior models for automation of testing and assessment of system safety. Information & Software Technology 48(10): 971-980 (2006)
j4		Leisheng Peng, Duminda Wijesekera, Thomas C. Wingfield, James Bret Michael: An ontology-based distributed whiteboard to determine legal responses to online cyber attacks. Internet Research 16(5): 475-490 (2006)
c25		Leisheng Peng, Duminda Wijesekera, Thomas C. Wingfield, James Bret Michael: An Ontology-Based Distributed Whiteboard to Determine Legal Responses to Online Cyber Attacks. WOSIS 2006: 232-245
	2005
j3		James Bret Michael, Steven E. Roberts, Jeffrey M. Voas, Thomas C. Wingfield: The Role of Policy in Balancing Outsourcing and Homeland Security. IT Professional 7(4): 19-23 (2005)
j2		Mikhail Auguston, James Bret Michael, Man-tak Shing: Environment behavior models for scenario generation and testing automation. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)
c24		Mikhail Auguston, James Bret Michael, Man-tak Shing: Environment behavior models for scenario generation and testing automation. A-MOST 2005
c23		Leisheng Peng, Thomas C. Wingfield, Duminda Wijesekera, Emily Frye, Randall Jackson, James Bret Michael: Making Decisions about Legal Responses to Cyber Attacks. IFIP Int. Conf. Digital Forensics 2005: 283-294
c22		Duminda Wijesekera, James Bret Michael, Anil Nerode: An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy. POLICY 2005: 115-118
c21		Mikhail Auguston, James Bret Michael, Man-tak Shing: Test Automation and Safety Assessment in Rapid Systems Prototyping. IEEE International Workshop on Rapid System Prototyping 2005: 188-194
c20		Dale Scott Caffall, James Bret Michael: Formal methods in a system-of-systems development. SMC 2005: 1856-1863
c19		Mikhail Auguston, James Bret Michael, Man-tak Shing, David L. Floodeen: Using attributed event grammar environment models for automated test generation and software risk assessment of system-of-systems. SMC 2005: 1870-1875
c18		Dale Scott Caffall, James Bret Michael: Architectural framework for a system-of-systems. SMC 2005: 1876-1881
	2004
c17		Csilla Farkas, Thomas C. Wingfield, James Bret Michael, Duminda Wijesekera: THEMIS: Threat Evaluation Metamodel for Information Systems. ISI 2004: 307-321
c16		James Bret Michael, Man-tak Shing, Michael H. Miklaski, Joel D. Babbitt: Modeling and Simulation of System-of-Systems Timing Constraints with UML-RT and OMNeT++. IEEE International Workshop on Rapid System Prototyping 2004: 202-209
	2003
j1		John S. Osmundson, James Bret Michael, Martin J. Machniak, Mary A. Grossman: Quality management metrics for software development. Information & Management 40(8): 799-812 (2003)
c15		James Bret Michael, Thomas C. Wingfield, Steven E. Roberts: Homeland Security's Cyber Component: A Survey of Legal Issues. COMPSAC 2003: 24-
c14		James Bret Michael, Thomas C. Wingfield, Duminda Wijesekera: Measured Responses to Cyber Attacks Using Schmitt Analysis: A Case Study of Attack Scenarios for a Software-Intensive System. COMPSAC 2003: 621-626
c13		Donald P. Julian, Neil C. Rowe, James Bret Michael: Experiments with Deceptive Software Responses to Buffer-Based Attacks. IAW 2003: 43-44
c12		James Bret Michael, Georgios Fragkos, Mikhail Auguston: An Experiment in Software Decoy Design. SEC 2003: 253-264
c11		James Bret Michael, Thomas C. Wingfield: Lawful Cyber Decoy Policy. SEC 2003: 483-488
	2002
c10		James Bret Michael: On the Response Policy of Software Decoys: Conducting Software-Based Deception in the Cyber Battlespace. COMPSAC 2002: 957-962
c9		Ernesto J. Sallés, James Bret Michael, Michael V. Capps, Don McGregor, Andrzej Kapolka: Security of runtime extensible virtual environments. CVE 2002: 97-104
c8		James Bret Michael, Bernard J. Bossuyt, Byron B. Snyder: Metrics for Measuring the Effectiveness of Software-Testing Tools. ISSRE 2002: 117-128
c7		Dale Scott Caffall, James Bret Michael: A New Paradigm for Requirements Specification and Analysis of System-of-Systems. RISSEF 2002: 108-121
	2001
c6		James Bret Michael, Vanessa L. Ong, Neil C. Rowe: Natural-Language Processing Support for Developing Policy-Governed Software Systems. TOOLS (39) 2001: 263-275
	2000
c5		James Bret Michael, Leonard T. Gaines: Trust Management in Distributed Databases. DBSec 2000: 329-338
	1999
c4		John McHugh, James Bret Michael: Secure group management in large distributed systems: what is a group and what does it do? NSPW 1999: 80-85
	1993
c3		James Bret Michael, Edgar H. Sibley, David C. Littleman: Integration of formal and heuristic reasoning as a basis for testing and debugging computer security policy. NSPW 1993: 69-75
e1		James Bret Michael, Victoria Ashby, Catherine Meadows (Eds.): Proceedings on the 1992-1993 Workshop on New Security Paradigms, Sept. 22-24, 1992; and Aug. 3-5, 1993, Little Compton, RI, USA. ACM 1993, isbn 0-8186-5430-9
	1992
c2		James Bret Michael, Edgar H. Sibley, Richard F. Baum, Fu Li: On the Axiomatization of Security Policy: Some Tentative Observations about Logic Representation. DBSec 1992: 367-386
	1991
c1		Edgar H. Sibley, James Bret Michael, Richard L. Wexelblat: Use of an Experimental Policy Workbench: Description and Preliminary Results. DBSec 1991: 47-76

Coauthor Index

Colors in the list of coauthors

Last update Mon May 20 10:02:45 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page