John P. McDermott

According to our database, John P. McDermott authored at least 82 papers between 1977 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2012

The Xenon separation VMM: Secure virtualization infrastructure for military clouds.

John P. McDermott, Bruce E. Montrose, Margery Li, James Kirby, Myong H. Kang

Proceedings of the 31st IEEE Military Communications Conference, 2012

Separation virtual machine monitors.

John P. McDermott, Bruce E. Montrose, Margery Li, James Kirby, Myong H. Kang

Proceedings of the 28th Annual Computer Security Applications Conference, 2012

2011

Formal methods for security in the Xenon hypervisor.

Leo Freitas, John P. McDermott

Int. J. Softw. Tools Technol. Transf., 2011

2010

Security and Architectural Issues for National Security Cloud Computing.

Anya Kim, John P. McDermott, Myong H. Kang

Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010

Fine-Grained Inspection for Higher-Assurance Software Security in Open Source.

John P. McDermott

Proceedings of the 43rd Hawaii International International Conference on Systems Science (HICSS-43 2010), 2010

Using formal methods for security in the Xenon project.

John P. McDermott, Leo Freitas

Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010

2008

Re-engineering Xen internals for higher-assurance security.

John P. McDermott, James Kirby, Bruce E. Montrose, Travis Johnson, Myong H. Kang

Inf. Secur. Tech. Rep., 2008

A formal security policy for xenon.

John P. McDermott, Leo Freitas

Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, 2008

2005

Visual security protocol modeling.

John P. McDermott

Proceedings of the New Security Paradigms Workshop 2005, 2005

Highlights from the 2005 New Security Paradigms Workshop.

Simon N. Foley, Abe Singer, Michael E. Locasto, Stelios Sidiroglou, Angelos D. Keromytis, John P. McDermott, Julie Thorpe, Paul C. van Oorschot, Anil Somayaji, Richard Ford, Mark Bush, Alex Boulatov

Proceedings of the 21st Annual Computer Security Applications Conference (ACSAC 2005), 2005

2003

Merging paradigms of survivability and security: stochastic faults and designed faults.

John P. McDermott, Anya Kim, Judith N. Froscher

Proceedings of the New Security Paradigms Workshop 2003, 2003

2001

Abuse-Case-Based Assurance Arguments.

John P. McDermott

Proceedings of the 17th Annual Computer Security Applications Conference (ACSAC 2001), 2001

1999

Using Abuse Case Models for Security Requirements Analysis.

John P. McDermott, Chris Fox

Proceedings of the 15th Annual Computer Security Applications Conference (ACSAC 1999), 1999

1998

Position Paper: Prolepsis on the Problem of Trojan-horse Based Integrity Attacks.

John P. McDermott

Proceedings of the 1998 Workshop on New Security Paradigms, 1998

1997

Replication Does Survive Information Warfare Attacks.

John P. McDermott

Proceedings of the Database Securty XI: Status and Prospects, 1997

Doc, Wyatt, and Virgil: Prototyping Storage Jamming Defenses.

John P. McDermott, R. Gelinas, S. Ornstein

Proceedings of the 13th Annual Computer Security Applications Conference (ACSAC 1997), 1997

1996

A Performance Comparison of Five Transaction Processing Algorithms for the SINTRA Replicated-Architecture Database system.

John P. McDermott, Ravi Mukkamala

J. Comput. Secur., 1996

Towards a model of storage jamming.

John P. McDermott, David M. Goldschlag

Proceedings of the Ninth IEEE Computer Security Foundations Workshop, March 10, 1996

Computer Support for Clinical Practice: Embedding and Evolving Protocols of Care.

Barbara Katzenberg, Fred Pickard, John P. McDermott

Proceedings of the CSCW '96, 1996

1995

Storage Jamming.

John P. McDermott, David M. Goldschlag

Proceedings of the Database Security IX: Status and Prospects, 1995

1994

Exploiting problem descriptions to provide assistance with the Sisyphus task.

Georg Klinker, Marc Linster, David Marques, John P. McDermott, Gregg Yost

Int. J. Hum. Comput. Stud., 1994

A Taxonomy of Computer Program Security Flaws.

Carl E. Landwehr, Alan R. Bull, John P. McDermott, William S. Choi

ACM Comput. Surv., 1994

Experience with a Learning Personal Assistant.

Tom M. Mitchell, Rich Caruana, Dayne Freitag, John P. McDermott, David Zabowski

Commun. ACM, 1994

The SBF Framework, 1989-1994: From Applications to Workplaces.

Gregg Yost, Georg Klinker, Marc Linster, David Marques, John P. McDermott

Proceedings of the A Future for Knowledge Acquisition, 1994

The b²/c³ Problem: How Big Buffers Overcome Convert Channel Cynicism in Trusted Database Systems.

John P. McDermott

Proceedings of the Database Security, 1994

Confidentiality in a Replicated Architecture Trusted Database System: A Formal Model.

Oliver Costich, John McLean, John P. McDermott

Proceedings of the Seventh IEEE Computer Security Foundations Workshop, 1994

Meaning-Making in the Creation of Useful Summary Reports.

Barbara Katzenberg, John P. McDermott

Proceedings of the CSCW '94, 1994

A practical approach to high assurance multilevel secure computing service.

Judith N. Froscher, Myong H. Kang, John P. McDermott, Oliver Costich, Carl E. Landwehr

Proceedings of the 10th Annual Computer Security Applications Conference, 1994

1993

R1 ("XCON") at Age 12: Lessons from an Elementary School Achiever.

John P. McDermott

Artif. Intell., 1993

Performance Analysis of Transaction Management Algorithms for the SINTRA Replicated-Architecture Database System.

John P. McDermott, Ravi Mukkamala

Proceedings of the Database Security, 1993

1992

Easy Programming: Empowering People to Build Their Own Applications.

David Marques, Geoffroy Dallemagne, Georg Klinker, John P. McDermott, David Tung

IEEE Expert, 1992

A multilevel transaction problem for multilevel secure database systems and its solution for the replicated architecture.

Oliver Costich, John P. McDermott

Proceedings of the 1992 IEEE Computer Society Symposium on Research in Security and Privacy, 1992

Orange Locking: Channel-Free Database Concurrency Control Via Locking.

John P. McDermott, Sushil Jajodia

Proceedings of the Database Security, 1992

A Personal Learning Apprentice.

C. Lisa Dent, Jesus Boticario, John P. McDermott, Tom M. Mitchell, David Zabowski

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991

Making Application Programming More Worthwile.

Geoffroy Dallemagne, Georg Klinker, David Marques, John P. McDermott, David Tung

Proceedings of the Contemporary Knowledge Engineering and Cognition, 1991

A single-level scheduler for the replicated architecture for multilevel-secure databases.

John P. McDermott, Sushil Jajodia, Ravi S. Sandhu

Proceedings of the Seventh Annual Computer Security Applications Conference, 1991

Justification-Based Refinement of Expert Knowledge.

Jeffrey C. Schlimmer, Tom M. Mitchell, John P. McDermott

Proceedings of the Knowledge Discovery in Databases, 1991

1990

On models for a trusted application system.

Christian N. Payne, Judith N. Froscher, John P. McDermott

Proceedings of the Sixth Annual Computer Security Applications Conference, 1990

Informal top-level specifications for trusted application systems.

John P. McDermott, Judith N. Froscher, Christian N. Payne, Herman Otto Lubbes

Proceedings of the Sixth Annual Computer Security Applications Conference, 1990

Successful acquisition of certifiable application systems (or: How not to shake hands with the tar baby).

Judith N. Froscher, John P. McDermott, Christian N. Payne, Herman Otto Lubbes

Proceedings of the Sixth Annual Computer Security Applications Conference, 1990

Developing Software is like Talking to Eskimos about Snow.

John P. McDermott

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989

The World Would Be a Better Place if Non-Programmers Could Program.

John P. McDermott

Mach. Learn., 1989

SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems.

Sandra Marcus, John P. McDermott

Artif. Intell., 1989

1988

Toward Automating Recognition of Differing Problem-Solving Demands.

Jeffrey Stout, Gilbert Caplain, Sandra Marcus, John P. McDermott

Int. J. Man Mach. Stud., 1988

Knowledge Acquisition for Evaluation Systems.

Georg Klinker, Serge Genetet, John P. McDermott

Int. J. Man Mach. Stud., 1988

VT: An Expert Elevator Designer That Uses Knowledge-Based Backtracking.

Sandra Marcus, Jeffrey Stout, John P. McDermott

AI Mag., 1988

1987

KNACK - Report-Driven Knowledge Acquisition.

Georg Klinker, Joel Bentolila, Serge Genetet, Michael Grimes, John P. McDermott

Int. J. Man Mach. Stud., 1987

MOLE: A Tenacious Knowledge-Acquisition Tool.

Larry J. Eshelman, Damien Ehret, John P. McDermott, Ming Tan

Int. J. Man Mach. Stud., 1987

A KNACK for Knowledge Acquisition.

Georg Klinker, Casey Boyd, Serge Genetet, John P. McDermott

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986

Computer Aids for IC Design.

Jin Kim, John P. McDermott

IEEE Softw., 1986

The Mud System.

Gary S. Kahn, John P. McDermott

IEEE Expert, 1986

The Taming of R1.

Arnold van de Brug, Judith Bachant, John P. McDermott

IEEE Expert, 1986

Making Expert Systems Explicit (Invited Paper).

John P. McDermott

Proceedings of the Information Processing 86, 1986

Panel: Knowledge Representation Meets Knowledge Acquisition: What Are the Needs and Where Is the Leverage?

Robert Neches, Richard Fikes, Casimir A. Kulikowski, John P. McDermott, Ramesh S. Patil

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

MOLE: A Knowledge Acquisition Tool that Uses its Head.

Larry J. Eshelman, John P. McDermott

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

Panel: Directions for Expert Systems.

Janice S. Aikins, Frederick Hayes-Roth, John P. McDermott, Herbert Schorr, Reid G. Smith

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985

R1-Soar: An Experiment in Knowledge-Intensive Programming in a Problem-Solving Architecture.

Paul S. Rosenbloom, John E. Laird, John P. McDermott, Allen Newell, Edmund Orciuch

IEEE Trans. Pattern Anal. Mach. Intell., 1985

Rule-Based Interpretation of Aerial Imagery.

David M. McKeown Jr., Wilson A. Harvey, John P. McDermott

IEEE Trans. Pattern Anal. Mach. Intell., 1985

Strategies for Knowledge Acquisition.

Gary S. Kahn, Steven J. Nowlan, John P. McDermott

IEEE Trans. Pattern Anal. Mach. Intell., 1985

The Dark Ages of AI: A Panel Discussion at AAAI-84.

Drew V. McDermott, M. Mitchell Waldrop, B. Chandrasekaran, John P. McDermott, Roger C. Schank

AI Mag., 1985

Knowledge Acquisition for Constructive Systems.

Sandra Marcus, John P. McDermott, Tianran Wang

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

MORE: An Intelligent Knowledge Acquisition Tool.

Gary S. Kahn, Steven J. Nowlan, John P. McDermott

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

The Role of Databases in Knowledge-Based Systems.

Mark S. Fox, John P. McDermott

Proceedings of the On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, 1985

Where Knowledge Acquisition Tools Fit in the Scheme of Things.

John P. McDermott

Proceedings of the Artificial Intelligence Applications, 1985

Doing R1 with Style.

Arnold van de Brug, Judith Bachant, John P. McDermott

Proceedings of the Artificial Intelligence Applications, 1985

1984

R1 Revisited: Four Years in the Trenches.

John P. McDermott, Judith Bachant

AI Mag., 1984

1983

The Knowledge Engineering Process.

John P. McDermott

IEEE Database Eng. Bull., 1983

Extracting Knowledge From Expert Systems.

John P. McDermott

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Decision-Making in Time-Critical Situations.

Shoichi Masui, John P. McDermott, Alan Sobel

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

TALIB: An IC Layout Design Assistant.

Jin Kim, John P. McDermott

Proceedings of the National Conference on Artificial Intelligence, 1983

1982

R1: A Rule-Based Configurer of Computer Systems.

John P. McDermott

Artif. Intell., 1982

1981

Extending a Knowledge-Based System to Deal with Ad Hoc Constraints.

John P. McDermott, Barbara Steele

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980

R1: The Formative Years.

John P. McDermott

AI Mag., 1980

Nils J. Nilsson, Principles of Artificial lntelligence.

John P. McDermott

Artif. Intell., 1980

RI: an Expert in the Computer Systems Domain.

John P. McDermott

Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1978

An Interference Matching Technique for Inducing Abstractions.

Frederick Hayes-Roth, John P. McDermott

Commun. ACM, 1978

1977

The efficiency of certain production system implementations.

John P. McDermott, Allen Newell, J. Moore

SIGART Newsl., 1977

Production system conflict resolution strategies.

John P. McDermott, Charles Forgy

SIGART Newsl., 1977

Problems in Building an Instructable Production System.

Michael D. Rychener, Charles Forgy, Pat Langley, John P. McDermott, Allen Newell, K. Ramakrishna

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Less Than General Production System Architectures.

Douglas B. Lenat, John P. McDermott

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Knowledge Acquisition from Structural Descriptions.

Frederick Hayes-Roth, John P. McDermott

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

OPS, A Domain-Independent Production System Language.

Charles Forgy, John P. McDermott

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977