Search Sciweavers | Sciweavers

480 search results - page 26 / 96

» On the verification of automotive protocols

124

click to vote

JLP
2008

72views more JLP 2008»

Using probabilistic Kleene algebra pKA for protocol verification

15 years 6 months ago

Download www.cse.unsw.edu.au

A. K. McIver, C. Gonzalia, E. Cohen, Carroll C. Mo...

claim paper

Read More »

120

click to vote

FUIN
2007

91views more FUIN 2007»

Verification of the TESLA protocol in MCMAS-X

15 years 6 months ago

Download eprints.ucl.ac.uk

Alessio Lomuscio, Franco Raimondi, Bozena Wozna

claim paper

Read More »

136

click to vote

LISP
2007

54views more LISP 2007»

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

15 years 6 months ago

Download osl.cs.uiuc.edu

José Meseguer, Prasanna Thati

claim paper

Read More »

133

click to vote

COMCOM
1999

63views more COMCOM 1999»

Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

15 years 5 months ago

Download www.dmst.aueb.gr

Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...

claim paper

Read More »

105

click to vote

IEICET
2010

86views more IEICET 2010»

HPChecker: An AMBA AHB On-Chip Bus Protocol Checker with Efficient Verification Mechanisms

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers