Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
480
search results - page 26 / 96
»
On the verification of automotive protocols
Sort
relevance
views
votes
recent
update
View
thumb
title
12
click to vote
JLP
2008
72
views
more
JLP 2008
»
Using probabilistic Kleene algebra pKA for protocol verification
13 years 7 months ago
Download
www.cse.unsw.edu.au
A. K. McIver, C. Gonzalia, E. Cohen, Carroll C. Mo...
claim paper
Read More »
14
click to vote
FUIN
2007
91
views
more
FUIN 2007
»
Verification of the TESLA protocol in MCMAS-X
13 years 7 months ago
Download
eprints.ucl.ac.uk
Alessio Lomuscio, Franco Raimondi, Bozena Wozna
claim paper
Read More »
20
click to vote
LISP
2007
54
views
more
LISP 2007
»
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
13 years 7 months ago
Download
osl.cs.uiuc.edu
José Meseguer, Prasanna Thati
claim paper
Read More »
21
click to vote
COMCOM
1999
63
views
more
COMCOM 1999
»
Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification
13 years 7 months ago
Download
www.dmst.aueb.gr
Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...
claim paper
Read More »
17
click to vote
IEICET
2010
86
views
more
IEICET 2010
»
HPChecker: An AMBA AHB On-Chip Bus Protocol Checker with Efficient Verification Mechanisms
13 years 5 months ago
Download
cadal.cse.nsysu.edu.tw
Liang-Bi Chen, Jiun-Cheng Ju, Chien-Chou Wang, Ing...
claim paper
Read More »
« Prev
« First
page 26 / 96
Last »
Next »