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
3115
search results - page 25 / 623
»
Synthesizing Secure Protocols
Sort
relevance
views
votes
recent
update
View
thumb
title
17
click to vote
CRITIS
2006
98
views
Security Privacy
»
more
CRITIS 2006
»
Multidomain Virtual Security Negotiation over the Session Initiation Protocol (SIP)
14 years 22 days ago
Download
critis06.lcc.uma.es
Daniel J. Martínez-Manzano, Gabriel L&oacut...
claim paper
Read More »
30
click to vote
TARK
2007
Springer
89
views
Automated Reasoning
»
more
TARK 2007
»
Preservation of epistemic properties in security protocol implementations
14 years 3 months ago
Download
www.cse.unsw.edu.au
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
Ron van der Meyden, Thomas Wilke
claim paper
Read More »
27
click to vote
ISPEC
2009
Springer
120
views
Security Privacy
»
more
ISPEC 2009
»
Analysing Protocol Implementations
14 years 3 months ago
Download
www.nr.no
Anders Moen Hagalisletto, Lars Strand, Wolfgang Le...
claim paper
Read More »
29
click to vote
CSFW
2004
IEEE
112
views
Security Privacy
»
more
CSFW 2004
»
Generic Insecurity of Cliques-Type Authenticated Group Key Agreement Protocols
14 years 22 days ago
Download
www.uclouvain.be
The A-GDH.2 and SA-GDH.2 authenticated group key
Olivier Pereira, Jean-Jacques Quisquater
claim paper
Read More »
22
click to vote
CCS
2006
ACM
103
views
Security Privacy
»
more
CCS 2006
»
A protocol for property-based attestation
14 years 22 days ago
Download
www.opentc.net
Liqun Chen, Rainer Landfermann, Hans Löhr, Ma...
claim paper
Read More »
« Prev
« First
page 25 / 623
Last »
Next »