Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

102

CSFW
1994
IEEE

83views Security Privacy» more CSFW 1994»

A Model of Computation for the NRL Protocol Analyzer

15 years 6 months ago

A Model of Computation for the NRL Protocol Analyzer

Download www.cse.msu.edu

Catherine Meadows

Real-time Traffic

CSFW 1994 | Security Privacy |

claim paper

Related Content

» A rewritingbased inference system for the NRL protocol analyzer grammar generation

» Automatic Covert Channel Analysis of a Multilevel Secure Component

» Using Tractable and Realistic Churn Models to Analyze Quiescence Behavior of Distributed P...

» A Simple Model for Analyzing P2P Streaming Protocols

» PasswordBased Encryption Analyzed

» Modeling and Analyzing Security in the Presence of Compromising Adversaries

» Models Protocols and Architectures for Secure Pervasive Computing Challenges and Research ...

» Building WebBase SIP Analyzer with Ajax Approach

» Modeling Computational Security in LongLived Systems

Post Info
More Details (n/a)

Added	08 Aug 2010
Updated	08 Aug 2010
Type	Conference
Year	1994
Where	CSFW
Authors	Catherine Meadows

Comments (0)