Search Sciweavers | Sciweavers

480 search results - page 26 / 96

» On the verification of automotive protocols

click to vote

JLP
2008

72views more JLP 2008»

Using probabilistic Kleene algebra pKA for protocol verification

14 years 11 months ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »

click to vote

FUIN
2007

91views more FUIN 2007»

Verification of the TESLA protocol in MCMAS-X

14 years 11 months ago

Download eprints.ucl.ac.uk

Alessio Lomuscio, Franco Raimondi, Bozena Wozna

claim paper

Read More »

click to vote

LISP
2007

54views more LISP 2007»

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

14 years 11 months ago

Download osl.cs.uiuc.edu

José Meseguer, Prasanna Thati

claim paper

Read More »

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

14 years 11 months ago

Download www.dmst.aueb.gr

Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...

claim paper

Read More »

click to vote

IEICET
2010

86views more IEICET 2010»

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

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers