Skip to main content
OSTI.GOVU.S. Department of Energy Office of Scientific and Technical Information
U.S. Department of Energy
Office of Scientific and Technical Information
 

A revisited comparison between strand spaces and multiset rewriting for security protocol analysis.

Journal Article · · Proposed for publication in the Journal of Computer Security.
OSTI ID:961624
 [1];  [2];  [3]; ;  [4]
  1. University of Pennsylvania
  2. Stanford University
  3. SRI International
  4. ITT Industries, Inc.
+ Show Author Affiliations

No abstract prepared.

Research Organization:
Sandia National Laboratories
Sponsoring Organization:
USDOE
DOE Contract Number:
AC04-94AL85000
OSTI ID:
961624
Report Number(s):
SAND2004-4055J
Journal Information:
Proposed for publication in the Journal of Computer Security., Journal Name: Proposed for publication in the Journal of Computer Security.
Country of Publication:
United States
Language:
English

Similar Records

Scattering of a Rayleigh Wave by an Elastic Quarter Space-Revisited
Journal Article · Mon Jan 15 23:00:00 EST 2001 · Wave Motion · OSTI ID:792071
A comparison of algorithms for modal analysis in the absence of a sparse direct method.
Journal Article · Fri Feb 28 23:00:00 EST 2003 · Proposed for publication in International Journal for Numerical Methods in Engineering, 2003; 1:1-21. · OSTI ID:917490
Materials for homeland security.
Journal Article · Sat Dec 31 23:00:00 EST 2005 · Proposed for publication in Materials Project. · OSTI ID:951735

Related Subjects

97 MATHEMATICS AND COMPUTING
99 GENERAL AND MISCELLANEOUS
COMPUTER NETWORKS
PROGRAMMING
SECURITY