NIST logo

Publications Portal

You searched on:
Author: david kuhn

Displaying records 71 to 80 of 96 records.
Resort by: Date / Title


71. Cost Effective Use of Formal Methods in Verification and Validation Foundations
Published: 10/1/2002
Authors: David R Kuhn, Ramaswamy Chandramouli, R W Butler
Abstract: Formal methods offer the promise of significant improvements in verification and validation, and may be the only approach capable of demonstrating the absence of undesirable system behavior. But it is widely recognized that these methods are expens ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50742

72. Cost Effective Uses of Formal Methods in Verification and Validation
Published: 10/1/2002
Authors: David R Kuhn, Ramaswamy Chandramouli
Abstract: Formal methods offer the promise of significant improvements in verification and validation, and may be the only approach capable of demonstrating the absence of undesirable system behavior. But it is widely recognized that these methods are expensi ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151272

73. Security for Telecommuting and Broadband Communications
Series: Special Publication (NIST SP)
Report Number: 800-46
Published: 8/1/2002
Authors: David R Kuhn, M C Tracy, Sheila E Frankel
Abstract: This document introduces broadband communication technologies, and the security considerations associated with them. It discusses the use of a personal firewall, which is essential in protecting a home computer from intrusion; provides instructions ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151263

74. Quantum Computing and Communication
Published: 6/28/2002
Authors: Paul E Black, David R Kuhn, Carl J Williams
Abstract: A quantum computer, if built, will be to an ordinary computer as a hydrogen bomb is to gunpowder, at least for some types of computations. Today no quantum computer exists, beyond laboratory prototypes capable of solving only tiny problems, and many ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=51022

75. Introduction to Public Key Technology and the Federal PKI Infrastructure
Series: Special Publication (NIST SP)
Report Number: 800-32
Published: 9/19/2001
Authors: David R Kuhn, Chung Tong Hu, William T Polk, S J Change
Abstract: This publication was developed to assist agency decision-makers in determining if a PKI is appropriate for their agency, and how PKI services can be deployed most effectively within a Federal agency. It is intended to provide an overview of PKI func ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151247

76. A Hybrid Authentication Protocol Using Quantum Entanglement and Symmetric Cryptography
Report Number: 6741
Published: 6/13/2001
Author: David R Kuhn
Abstract: This paper presents a hybrid cryptographic protocol, using quantum and classical resources, for authentication and authorization in a network. One or more trusted servers distribute streams of entangled photons to individual resources that seek to c ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151242

77. PBX Vulnerability Analysis: Finding Holes in Your PBX Before Someone Else Does
Series: Special Publication (NIST SP)
Report Number: 800-24
Published: 4/1/2001
Author: David R Kuhn
Abstract: This report presents a generic methodology for conducting an analysis of a Private Branch Exchange (PBX) in order to identify security vulnerabilities. The report focuses on digital-based PBXs and addresses the following areas for study: System Arc ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151223

78. The NIST Model for Role-Based Access Control: Towards a Unified Standard
Published: 7/26/2000
Authors: R. Sandhu, David F Ferraiolo, David R Kuhn
Abstract: This paper describes a unified model for role-based access control (RBAC). RBAC is a proven technology for large-scale authorization. However, lack of a standard model results in uncertainty and confusion about its utility and meaning. The NIST model ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=916402

79. Converting System Failure Histories Into Future Win Situations
Published: 1/7/2000
Authors: D Wallace, David R Kuhn
Abstract: Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assurance. This paper presents an analysis of software-related failures of med ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151672

80. Lessons from 342 Medical Device Failures
Published: 11/17/1999
Authors: D Wallace, David R Kuhn
Abstract: Today's highly complex systems often contain software. Lessons can be learned about softwaredevelopment and assurance concerning quality practices, from system failures activated bysoftware faults. This paper presents an analysis of failures of medi ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151659



Search NIST-wide:


(Search abstract and keywords)


Last Name:
First Name:







Special Publications:

Looking for a NIST Special Publication (NIST SP Series)? Place the series number and dash in the report number field (Example: 800-) and begin your search.

  • SP 250-XX: Calibration Services
  • SP 260-XX: Standard Reference Materials
  • SP 300-XX: Precision Measurement and Calibration
  • SP 400-XX: Semiconductor Measurement Technology
  • SP 480-XX: Law Enforcement Technology
  • SP 500-XX: Computer Systems Technology
  • SP 700-XX: Industrial Measurement Series
  • SP 800-XX: Computer Security Series
  • SP 823-XX: Integrated Services Digital Network Series