CSRC Pages

  -  CSRC Homepage
  -  NIST Security Publications
  -  ICAT Vulnerability Database
  -  Vulnerability/Threat Advisories
  -  Site Map
  -  Virus Information

Publications
_______________

Model-based Automated Security Functional Testing --
7th Annual Workshop on Distributed Objects and Components Security (DOCSEC), Baltimore, MD, April 2003. Ramaswamy Chandramouli and Mark Blackburn.

Model-based Approach to Security Test Automation --
13th International Symposium on Software Reliability Engineering (ISSRE 2002), Annapolis, MD, Nov 2002. Mark Blackburn et al., Ramaswamy Chandramouli.

Cost Effective Use of Formal Methods in Verification and Validation --
Foundations 02 Workshop on Verification & Validation, Columbia, MD, Oct 2002. Richard Kuhn, Ramaswamy Chandramouli and Ricky Butler.

Security Functional Testing Using An Interface-Driven Model-Based Test Automation Approach -
WERB Approved, Yet to be published. Sept 2002. Ramaswamy Chandramouli and Mark Blackburn.

Interface-driven Model-based Generation of Java Test Drivers -
15th International Software and Internet Quality Week Conference, San Francisco, Sept 2002. Blackburn et al., Ramaswamy Chandramouli.

Model-based Approach to Security Test Automation --
14th International Software and Internet Quality Week Conference, San Francisco, June 2001. Blackburn et al., Ramaswamy Chandramouli.

Last updated: July 29, 2005
Page created: April 30, 2003