| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Anthony Patrick Melaragno, Damindra Bandara, Duminda Wijesekera, James Bret Michael |
Securing the ZigBee Protocol in the Smart Grid.  |
IEEE Computer  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey M. Voas, George F. Hurlburt, Keith W. Miller, Phillip A. Laplante, Bret Michael |
Thoughts on Higher Education and Scientific Research. |
IT Professional |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | T. Owens Walker III, Murali Tummala, John C. McEachen, J. Bret Michael |
Flow-Specific Medium Access for Networked Satellite System. |
IEEE Systems Journal |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James Bret Michael, Doron Drusinsky, Thomas W. Otani, Man-tak Shing |
Verification and Validation for Trustworthy Software Systems. |
IEEE Software |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason S. Bolin, James Bret Michael, Man-tak Shing |
Cloud Computing Support for Collaboration and Communication in Enterprise-Wide Workflow Processes. |
SERVICES |
2011 |
DBLP DOI BibTeX RDF |
cloud computing, social media, situational awareness, program management |
| 1 | George F. Hurlburt, Jeffrey M. Voas, Keith W. Miller, Phillip A. Laplante, Bret Michael |
A Nonlinear Perspective on Higher Education. |
IEEE Computer |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Viega, Bret Michael |
Guest Editors' Introduction: Mobile Device Security. |
IEEE Security & Privacy |
2010 |
DBLP DOI BibTeX RDF |
security, trust, mobile device |
| 1 | James Bret Michael, John F. Sarkesain, Thomas C. Wingfield, Georgios Dementis, Goncalo Nuno Baptista Sousa |
Integrating Legal and Policy Factors in Cyberpreparedness. |
IEEE Computer |
2010 |
DBLP DOI BibTeX RDF |
Cyberpreparedness, Security and privacy |
| 1 | James Bret Michael, Eneken Tikk, Peter Wahlgren, Thomas C. Wingfield |
From Chaos to Collective Defense. |
IEEE Computer |
2010 |
DBLP DOI BibTeX RDF |
Deterrence, Arms Control, Security, Policy, Conflict, Law |
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bret Michael |
In Clouds Shall We Trust? |
IEEE Security & Privacy |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bret Michael, Jeffrey M. Voas, Phillip A. Laplante |
Cyberpandemics: History, Inevitability, Response. |
IEEE Security & Privacy |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaos Petrakos, George W. Dinolt, James Bret Michael, Pantelimon Stanica |
Cube-Type Algebraic Attacks on Wireless Encryption Protocols. |
IEEE Computer |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander J. Beecroft, James Bret Michael |
Passive Fingerprinting of Network Reconnaissance Tools. |
IEEE Computer |
2009 |
DBLP DOI BibTeX RDF |
Reconnaissance fingerprinting, Network defense, Security |
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kadir Alpaslan Demir, James Bret Michael, John S. Osmundson |
Approaches for Measuring Software Project Management Effectiveness. |
Software Engineering Research and Practice |
2009 |
DBLP BibTeX RDF |
|
| 1 | Bret Michael |
Are Governments Up to the Task? |
IEEE Security & Privacy |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky, James Bret Michael, Man-tak Shing |
A framework for computer-aided validation. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
Model checking, Formal methods, Runtime verification, Validation and verification |
| 1 | Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing |
Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance. |
SSIRI |
2008 |
DBLP DOI BibTeX RDF |
Formal Specifications, Validation, Patterns, Statecharts, Assertions |
| 1 | Clifford C. Juan, James Bret Michael, Christopher S. Eagle |
Vulnerability Analysis of HD Photo Image Viewer Applications. |
SSIRI |
2008 |
DBLP DOI BibTeX RDF |
HD Photo, image viewer, security, testing, parser, vulnerability analysis, Fuzzing |
| 1 | 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 |
DBLP DOI BibTeX RDF |
non-developmental items, real-time system, design pattern, garbage collection, Java programming language |
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Auguston, James Bret Michael, Man-tak Shing |
Environment behavior models for automation of testing and assessment of system safety. |
Information & Software Technology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | James Bret Michael, Steven E. Roberts, Jeffrey M. Voas, Thomas C. Wingfield |
The Role of Policy in Balancing Outsourcing and Homeland Security. |
IT Professional |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Auguston, James Bret Michael, Man-tak Shing |
Environment behavior models for scenario generation and testing automation. |
ACM SIGSOFT Software Engineering Notes |
2005 |
DBLP DOI BibTeX RDF |
reactive and real time system testing, model-based testing, testing automation |
| 1 | Duminda Wijesekera, James Bret Michael, Anil Nerode |
An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy. |
POLICY |
2005 |
DBLP DOI BibTeX RDF |
Ballistic Missile Defense Policy, Agents |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Mikhail Auguston, James Bret Michael, Man-tak Shing |
Environment behavior models for scenario generation and testing automation. |
A-MOST |
2005 |
DBLP DOI BibTeX RDF |
reactive and real time system testing, model-based testing, testing automation |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Csilla Farkas, Thomas C. Wingfield, James Bret Michael, Duminda Wijesekera |
THEMIS: Threat Evaluation Metamodel for Information Systems. |
ISI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Osmundson, James Bret Michael, Martin J. Machniak, Mary A. Grossman |
Quality management metrics for software development. |
Information & Management |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | James Bret Michael, Thomas C. Wingfield |
Lawful Cyber Decoy Policy. |
SEC |
2003 |
DBLP BibTeX RDF |
|
| 1 | James Bret Michael, Georgios Fragkos, Mikhail Auguston |
An Experiment in Software Decoy Design. |
SEC |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | James Bret Michael, Thomas C. Wingfield, Steven E. Roberts |
Homeland Security's Cyber Component: A Survey of Legal Issues. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald P. Julian, Neil C. Rowe, James Bret Michael |
Experiments with Deceptive Software Responses to Buffer-Based Attacks. |
IAW |
2003 |
DBLP BibTeX RDF |
|
| 1 | James Bret Michael |
On the Response Policy of Software Decoys: Conducting Software-Based Deception in the Cyber Battlespace. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto J. Sallés, James Bret Michael, Michael V. Capps, Don McGregor, Andrzej Kapolka |
Security of runtime extensible virtual environments. |
CVE |
2002 |
DBLP DOI BibTeX RDF |
runtime extensible virtual environment, security, virtual reality, virtual environment, taxonomy, computer security, collaborative environment, information assurance |
| 1 | Dale S. Caffall, James Bret Michael |
A New Paradigm for Requirements Specification and Analysis of System-of-Systems. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | James Bret Michael, Bernard J. Bossuyt, Byron B. Snyder |
Metrics for Measuring the Effectiveness of Software-Testing Tools. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | James Bret Michael, Vanessa L. Ong, Neil C. Rowe |
Natural-Language Processing Support for Developing Policy-Governed Software Systems. |
TOOLS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | James Bret Michael, Leonard T. Gaines |
Trust Management in Distributed Databases. |
DBSec |
2000 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Edgar H. Sibley, James Bret Michael, Richard L. Wexelblat |
Use of an Experimental Policy Workbench: Description and Preliminary Results. |
DBSec |
1991 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")