Publications most recent

Computer Forensics
Healthcare
Software Assurance Metrics (SAMATE)
Quality Assurance and Testing
Test Method Research
Grid Computing
Service Discovery
Smart Cards
Web Technologies
Miscellaneous
Publications before 2005

• J. Lyle and M. Wozar, "Issues with Imaging Drives Containing Faulty Sectors," paper delivered at Digital Forensics Research Workshop, Pittsburgh, PA, August 2007.
  

• W. Jansen and R. Ayers, "Guidelines on Cell Phone Forensics", NIST Special Publication 800-101, May 2007

• J. Lyle, S. Mead, and K. Rider, "Disk Drive I/O Commands and Write Blocking," paper delivered at the Third Annual IFIP WG 11.9 International Conference on Digital Forensics National Center for Forensic Science, Orlando, Florida, USA, January 28-31, 2007.
  
  

• J. Lyle, "The Contribution of Tool Testing to the Challenge of Responding to an IT Adversary, International Conference on IT-Incident Management and IT-Forensics, October 2006.

• P. E. Black, "FS-TST 2.0: Forensic Software Testing Support Tools - Part A - Test Plan, Test Design Specifications, and Test Case Specifications", Published by NIJ, 2006 contact authors

• P. E. Black, FS-TST 2.0: "Forensic Software Testing Support Tools - Part B - Test Summary Report", Published by NIJ, 2006 contact authors

• P. E. Black, FS-TST 2.0: "Forensic Software Testing Support Tools - Part C - Code Review Report", Published by NIJ, 2006 contact authors

• S. Mead, The Impact of RAID on Disk Imaging, NISTIR 7276, December, 2005 contact author

• NSRL, "Voting Software Reference Data Set", August 2007

• J. Tebbutt, "User Guide for Prototype NSRL Portable Hashing Environment for NARA", Published by NARA contact authors

• L. Carnahan, L. Rosenthal, et al, "American Telemedicine Association's Practice Guideline for Teledermatology", Telemedicine and e-Health, TBD.
  

• J. Garguilo, S. Martinez, R. Rivello, M. Cherkaoui, "Moving Toward Semantic Interoperability of Medical Devices", Joint Workshop on High Confidence Medical Devices, Software and Systems (HCMDSS), June 2007.

• R. Snelick, R. Rontey, L. Gebase, L. Carnahan, "Towards Interoperable Healthcare Information Systems: The HL7 Conformance Profile Approach", Interoperability for Enterprise Software Applications (I-ESA'07), March 2007.

• L. Rosenthal, "Electronic Health Record-System Functional Model - Chapter 2: Conformance Clause", ANSI/HL7 EHR, Release 1-2007.

• L. Rosenthal, "How to Guide for Creating Functional Profiles", ANS/HL7 EHR Release 1-2007.

• R. Snelick, L. Gebase, S. Henrard, "Dynamically Generating Conformance Tests for Messaging Systems", The 2006 International Conference on Software Engineering Research and Practice (SERP'06), June 2006.

• L. Gebase, R. Bertucat, R. Snelick, "Selecting Effective Test Messages", The 2006 International Conference on Software Engineering Research and Practice (SERP'06), June 2006.

• H. Tang, R. Morgan, T. Rhodes, C. Ridoret, "Open Source Implementation of the NIST Healthcare Standards Landscape", The 2006 International Conference on e-Learning, e-Business, Enterprise Information Systems, e-Government, and Outsourcing (EEE'06), June 2006.

• W. Majurski, A. McCaffrey, M. Laamanen, "About HL7 Experimental Registry"

• E. Fong, R. Morgan, T. Rhodes, C. Ridoret, "Healthcare Standards Landscape User’s Guide", NIST IR 7329 December 2006

• E. Fong, R. Gaucher, V. Okun, P.E. Black, E. Dalci, "Building a Test Suite for Web Application Scanners," to be published, Proceedings of the 41st Hawaiin International Conference on System Sciences (HICSS-41), January 2008.
  
  
• P.E. Black, "SAMATE and Evaluating Static Analysis Tools," tobe published in ADA User Journal.
  
  
• Paul E. Black, "Software Assurance with SAMATE Reference Dataset, Tool Standards, and Studies," Proc. 26th Digital Avionics Systems Conference (DASC), Dallas, Texas, IEEE, October 2007.
  
  
• V. Okun, W.F. Guthrie, R. Gaucher, and P.E. Black, "Effect of Static Analysis Tools on Software Security: Preliminary Investigation," Third Workshop on Quality of Protection (QoP'07), October, 2007.
  
  
• Paul E. Black, "SAMATE and Evaluating Static Analysis Tools", Ada User Journal, 28(3):184-188, September 2007.
  
  
• Lei, Y., Kacker, R., Kuhn R., Okun, V., Lawrence, J. "IPOG: A General Strategy for T-Way Software Testing", Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, August 2007.
  
  
• Draft Web Application Scanner Functional Specification, Version 1.0, NIST Special Publication 500-269, August 2007.
  
  
• P.E. Black, "The U.S. NIST SAMATE Project and Reliable Software," 12th International Conference on Reliable Software Technologies: Ada-Europe, Geneva Switzerland, June 2007.
  
  
• P. Black, M. Kass, and M. Koo, "Source Code Security Analysis Tool Functional Specification Version 1.0", NIST Special Publication 500-268, May 2007.
  
  

• E. Fong, V. Okun "Web Application Scanners: Definitions and Functions", Proceedings of Hawaii International Conference on System Sciences (HICSS), January 2007.
  

• Paul E. Black, Software Assurance During Maintenance, Proc. 22nd IEEE International Conference on Software Maintenance (ICSM 2006), September 2006, Philadelphia, Pennsylvania, pp 70-72.
  
  
• P.E. Black, "SAMATE's Contribution to Information Assurance", IAnewsletter, Vol. 9, Num 2, pp 4-7, Fall 2006.
  
  
• P. Black, H Gill, B Martin, E. Fong, Proceedings of the Static Analysis Summit , NIST Special Publication 500-262, July 2006.
  
  
• P. Black, M. Kass, E. Fong, Proceedings of Workshop on Software Secuirty Assurance Tools, Techniques, and Metrics, NIST Special Publication 500-265, February 2006.
  
  

• P. Black, E. Fong, Proceedings of Defining the State of the Art in Software Security Tools Workshop, NIST Special Publication 500-264, September 2005.

• P. E. Black, "Software Assurance Metrics And Tool Evaluation", Proceedings of the 2005 International Conf. on Software Engineering Research and Practice (SERP'05), World Academy of Science Conference, Las Vegas, Nevada, June 2005 - contact authors

• M. Kass, NIST "Software Assurance Metrics and Tool Evaluation (SAMATE) Project", Workshop on the Evaluation of Software Defect Detection Tools, Chicago, June, 2005 - contact author

• J.R. Lyle, P.E. Black, "Testing BIOS Interrupt 0x13 Based Software Write Blockers", Proc. E-Crime and Computer Evidence (ECCE 2005), March 2005.

• L. Rosenthal, K. Dubost, D. Hazaël-Massieux, L. Henderson (editors), "W3C Specification Guidelines" W3C Recommendation, August 2005

• D. Hazaël-Massieux, L. Rosenthal (editors), "Variability in Specifications", W3C Technical Note, August 2005

• J. Zhang, L. Zhang, "Requirements of Supporting Multimedia Web Services", International Journal of Web Services Research, October-December 2005, contact authors.

• J. Zhang, L. Zhang, "A Framework to Ensure Trustworthy Web Services", International Journal of Web Services Research, July-September, contact authors.

• J. Zhang, "Trustworthy Web Services: Actions for Now", IEEE IT Professional, January/February 2005, contact authors

• J. Zhang, L. Zhang, "Criteria Analysis and Validation of the Reliability of Web Services-oriented Systems," IEEE International Converence on Web Services, Orlando FL, July 2005. contact authors

• David Flater, Philippe A. Martin, and Michelle L. Crane, "Rendering UML Activity Diagrams as Human-Readable Text," NISTIR 7469, National Institute of Standards and Technology, Gaithersburg, MD, 2007. (HTML Version)

• Len Gallagher and Jeff Offutt, "Test Sequence Generation for Integration Testing of Component Software", The Computer Journal, Oxford University Press, 2007.
  

• L. Gallagher, J. Offutt, "Integration Testing of Object-oriented Components Using Finite State Machines" Software Testing, Verification and Reliability, Wiley & Sons, December 4, 2006

• D. R. Kuhn, V. Okun, "Pseudo-exhaustive Testing For Software", 30th NASA/IEEE Software Engineering Workshop, April 25-27, 2006.

• L. Gallagher, J. Offutt, "Test Sequence Generation for Integration Testing of Component Software" submitted by invitation to the Computer Journal on Automation of Software Testing.

• L. Gallagher, J. Offutt, "Automatically Testing Interacting Software Components", Proceeding of the Workshop on Automation of Software Test (AST06), at the 28th International Conference on Software Engineering (ICSE'06), May 2006.

• A. Abdurazik, J. Offutt, "Coupling-based Class Integration and Test Order", Proceeding of the Workshop on Automation of Software Test (AST06), at the 28th International Conference on Software Engineering (ICSE'06), May 2006.

• L. Gallagher, J. Offutt, "Integration testing of object-oriented components using finite state machines", Software Testing, Verification, and Reliability, Wiley InterScience Journal, Vol 156, Issue 4, December 2005.

• C. Dabrowski, "Investigating Resource Allocation in a Standards-Based Grid Compute Economy", National Institute of Standards and Technology: Gaithersburg, MD. Interagency Report 7463, November 2007.

• K. Mills, C. Dabrowski, "Can Economics-based Resource Allocation Prove Effective in a Computation Marketplace?", To appear in Journal of Grid Computing.

• K. Mills, C. Dabrowski, "Investigating Global Behavior in Computing Grids", Proceedings of the International Workshop on Self-Organizing Systems (IWSOS 2006), September 2006 (Lecture Notes on Computer Science, vol. 4124), pp. 120-136.
  

• C. Dabrowski, K. Mills, S. Quirolgico, "Understanding Failure Response in Service Discovery Systems", Journal of Systems and Software, 2007; 80 (6); pp. 896-917

• C. Dabrowski, K. Mills, and S. Quirolgico, A Model-based Analysis of First Generation Service Discovery Systems, NIST Special Publication 500-260, October 2005.
  

• A. Goldfine, “Government Smart Card Interoperability Specification v2.1 (NISTIR 6887-2003 Edition) Basic Services Interface, C Binding, Conformance Test Instantiation, Verification, and Reporting Scenarios” (PDF), January, 2005.

• A. Goldfine, “Government Smart Card Interoperability Specification v2.1 (NISTIR 6887-2003 Edition) Basic Services Interface, C Binding, Conformance Test Assertions (PDF), January, 2005.

Web Technologies

• D. W. Doherty, J. Barkley et. al. "Discovering, integrating, and analyzing specific neuroscience research data using semantic web technologies", 37th annual meeting of the Society for Neuroscience (Neuroscience 2007).
  
  
• T.N. Bhat, J. Barkley, "Semantic Web for the Life Sciences - Hype, Why, How and Use Case for AIDS Inhibitors", Proceedings of the 2007 IEEE Congress on Services (Services 2007), July 2007 (invited paper).
  
  
• T.N. Bhat, J. Barkley, "RDF Friendly Chemical Taxonomies for Semantic Web Powered by ORACLE", Bio-IT World, 8th International Oracle Life Sciences User Group Meeting, April 2007.
  
  
• J. Barkley, Bhat, "RDF Friendly Chemical Taxonomies for Semantic Web", First International Workshop on the Semantic Web in Health Care and the Life Sciences, November, 2006.
  
  
• J. Barkley, "Using Semantic Web Methods to Improve Information Resource Quality", NIST Internal Report 7354, 2006.
  

Miscellaneous

• G. Lyon, "Estimating Error Discovery in Library Conformance Testing", Accepted for publishing: Proceedings, International Symposium on Software Testing and Analysis, Portlan, Maine, July, 2006 contact authors

• R. Snelick, U. Uludag, A. Mink, M. Indovina and A. Jain, Large Scale Evaluation of Multimodal Biometric Authentication Using State-of-the-Art Systems, IEEE Transactions on Pattern Analysis and Machine Intelligence, March 2005, Volume 27, Number 3, pg 450-455 (Word)

Publications Before 2005

• G. Lyon, A. Mink & R. Van Dyck, "Toward an Architectural Framework to Improve Accountability in the Use of Electronic Records" NISTIR 7157, December 2004 (Word)

• G. Lyon, "The Internet Marketplace and Digital Rights Management," revised and sent, Dec. 2004, 7p. Revision of earlier 2001 SSGRR Conf. paper for reprint in book on digital rights management by Magnus School of Business, Le Magnus University, Chattisgarh, India.
  
  
• M. Kass, H. K. Ngo, OASIS IIC ebXML Test Framework Test Framework V1.1 Guide, November 2004 (Word) contact authors
  
  
• J. Zhang, L. Zhang, "An Approach to Facilitate Reliability Testing of Web Services Components," Proceedings of IEEE 15th International Symposium on Software Reliability Engineering, November 2004. contact authors
  
  

• C. Dabrowski, K. Mills, (contributors) "Modeling Reliability in Distributed Computer Networks"," AFCEA Signal Magazine, November 2004.

• NSRL, "Data Formats of the NSRL Reference Data Set (RDS) Distribution", October 2004. (PDF)
  

• A. Goldfine, “Government Smart Card Interoperability Specification v2.1 (NISTIR 6887-2003 Edition) Basic Services Interface, Java Binding, Conformance Test Instantiation, Verification, and Reporting Scenarios” (PDF), October, 2004.

• A. Goldfine, “Government Smart Card Interoperability Specification v2.1 (NISTIR 6887-2003 Edition) Basic Services Interface, Java Binding, Conformance Test Assertions ” (PDF), October, 2004.
  

• C. Watson, C. Wilson, K. Marshall, M. Indovina, R. Snelick “Studies of One-to-One Fingerprint Matching with Vendor SDK Matchers” NISTIR 7119, June 2004. (PDF)

• J. Tebbutt, D. White, "Digital Forensics – Using Perl to Harvest Hash Sets", The YAPC Perl Conference, June 2004, Buffalo, NY. contact authors

• V. Okun, P. E. Black, and Y. Yesha, "Comparison of Fault Classes in Specification-Based Testing, Information and Software Technology", Elsevier, 46(8):525-533, June 2004.

• CFTT, "Test Environment and Procedures for Testing EnCase 3.20, Version 1.0", Published by NIJ, May 2004.

• CFTT, "Test Environment and Procedures for Testing dd provided with FreeBSD 4.4", Published by NIJ, May 2004.

• B. Long, J. Lyle, M. Gray, Hardware Write Blocker Device (HWB) Specification Version 2.0 May 2004

• B. Long, J. Lyle, M. Gray, Hardware Write Blocker (HWB) Assertions and Test Plan March 2004 (PDF)

• J. Barkley, M. Skall, "Improving Software Quality Through Better Design and Testing", Position Paper, 2nd National Software Summit, Software R&D Workshop, April 28, 2004 contact authors

• P. E. Black and A. W. Lane, “Modeling Quantum Information Systems”, Proceedings Quantum Information and Computation II, Defense & Security Symposium, The International Society for Optical Engineering (SPIE), Orlando, Florida, April 2004.

• E. Dalci, E. Fong and A. Goldfine, “A Plan for Testing Conformance and Interoperability of Implementations of the GSC-IS” (PDF), March, 2004.

• D. Dimiradis, Consultant, Ontologic, DOM Test Suite Methodology, NIST GCR 04-860, February 2004 (PDF)

• J. Lyle, Marty Gray, Test Results for Disk Imaging Tools: dd Provided with FreeBSD 4.4 Published by NIJ, January 2004

• C. Dabrowski, K. Mills, and A. Rukhin, "Performance of Service-Discovery Architectures in Response to Node Failures", Software Engineering Research and Practice 2003, pp. 95-104 (published in FY2004). contact authors
  
  

• J. Tebbutt, D. White, "A Perl Based Framework for Distributed Processing", The Open Source Developers' Conference 2004, Melbourne, Australia - contact authors

• J. Tebbutt, A. Cincotta, W3C XML Schema Test Suite - contact authors, June 20, 2007, (Direct Link to the XML Schema Test Suite)

• C. Montanez, NIST XML Query Test Suite - contact author

• J. Newton, “Assuring Semantic Consistency for Data Interchange: How XML Users Can Benefit from Using a Metadata Registry”, The Data Administration Newsletter (TDAN.com), Issue 27.0-First Quarter, 2004.
  

• M. Indovina, U. Uludag, R. Snelick, Alan Mink and Anil Jain, "Multimodal Biometrics Authentication Methods: A COTS Approach", Proc. Multimodal User Authentication Workshop, Santa Barbara, CA, pp. 99-106, Dec. 2003 - contact authors

• R. Snelick, M. Indovina, J. Yen and A. Mink, "Multimodal Biometrics: Design and Testing Issues", Proc. 5th Intrn'l Conf on Multimodal Interfaces (ICMI'03), Vancouver, B.C., Nov. 2003 - contact authors

• A. Goldfine, “Government Smart Card Interoperability Specification v2.1 (2003 edition)” (PDF), NISTIR 6887, July 2003.

• C. Dabrowski, K. Mills, and A. Rukhin, “Performance of Service-Discovery Archiectures in Response to Node Failures,” Proceedings of the International Conference on Software Engineering Research and Practice, CSREA Pres, June, 2003, pp 95-101. contact authors

• V. Okun, P. E. Black, “Issues in Software Testing with Model Checkers” (PDF), Proceedings of the International Conference on Dependable Systems and Networks (DSN-2003), June 2003.

• K. Mills and C. Dabrowski, “Adaptive Jitter Control for UPnP M-Search” (PDF), presentation at ICC, Anchorage, Alaska, May, 2003.

• J. Durand, M. Kass, P. Wenzel, The ebXML Test Framework and Challenges to B2B Testing, XML Europe 2003, London, England, May 2003.

• J. Tebbutt, “Better Conformance Testing through Automation”, XML Europe 2003, London, England, May 2003.

• V. Okun, P. E. Black, Y. Yesha, “Testing with Model Checker: Insuring Fault Visibility” (PDF), WSEAS Transactions on Systems, Vol. l2, Issue 1, pp 77-82, January 2003.

• NSRL, "SQL Descriptions of Database Tables and Views", December, 2002 (Text).

• C. Dabrowski and K. Mills, Understandg Self-healing in Service Discovery Systems (PDF), Proceedings of the First ACM SigSoft Workshop on Self-healing Systems (WOSS '02), November, 2002, Charleston, South Carolina, ACM Press, pp. 15-20.

• M. Dolan, Report on Interactive Television Technology & Standards (PDF), Technical Consultant, Television Data Broadcasting, NIST GCR 02-835, September, 2002.

• L. Carnahan, L. Rosenthal, Healthcare Information Standards and Testing: A Concept Paper (PDF), August 2002.

• C. Dabrowski, K. Mills, and J.Elder, Understanding Consistency Maintenance in Service Discovery Architectures in Response to Message Loss (PDF), Proceedings of the 4th International Workshop on Active Middleware Services, IEEE Computer Society, July 2002, pp. 51-60.

• C. Dabrowski, K. Mills, and J.Elder, Understanding Consistency Maintenance in Service Discovery Architectures during Communication Failure; (PDF), Proceedings of the 3rd International Workshop on Software Performance, ACM, July 2002, pp. 168-178.

• P. Ammann, P. E. Black, W. Ding, Model Checkers in Software Testing; (PDF), NIST-IR 6777, National Institute of Standards and Technology, February 2002.