NIST logo

Publications Portal

You searched on:
Author: david kuhn

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


71. Software Fault Complexity and Implications for Software Testing
Published: 6/16/2004
Authors: David R Kuhn, D Wallace, A M Gallo
Abstract: Exhaustive testing of computer software is intractable, but empirical studies of software failures suggest that testing can in some cases be effectively exhaustive. Data reported in this study and others show that software failures in a variety of ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151290

72. Vulnerabilities in Quantum Key Distribution Protocols
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 6977
Published: 5/1/2003
Author: David R Kuhn
Abstract: Recently proposed quantum key distribution protocols are shown to be vulnerable to a classic man-in-the-middle attack using entangled pairs created by Eve. The attack could be applied to any protocol that relies on manipulation and return of entang ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50741

73. An Investigation of the Applicability of Design of Experiments to Software Testing
Published: 12/6/2002
Authors: David R Kuhn, Martin L. Mr. Reilly
Abstract: Approaches to software testing based on methods from the field of design of experiments have been advocated as a means of providing high coverage at relatively low cost. Tools to generate all pairs, or higher n-degree combinations, of input values ha ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151271

74. 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

75. 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

76. 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

77. 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

78. Failure Modes in Medical Device Software: an Analysis of 15 Years of Recall Data
Published: 12/5/2001
Authors: Dolores R. 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 medi ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=917180

79. 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

80. 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



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