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
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
1490
search results - page 110 / 298
»
The Logic of Authentication Protocols
Sort
relevance
views
votes
recent
update
View
thumb
title
130
Voted
CSFW
2003
IEEE
101
views
Security Privacy
»
more
CSFW 2003
»
A Derivation System for Security Protocols and its Logical Formalization
15 years 9 months ago
Download
www.andrew.cmu.edu
Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...
claim paper
Read More »
98
click to vote
NGC
1999
Springer
71
views
Communications
»
more
NGC 1999
»
HyperCast: A Protocol for Maintaining Multicast Group Members in a Logical Hypercube Topology
15 years 8 months ago
Download
www.cs.virginia.edu
Jörg Liebeherr, Tyler K. Beam
claim paper
Read More »
106
Voted
JAPLL
2007
52
views
more
JAPLL 2007
»
Specifying and verifying interaction protocols in a temporal action logic
15 years 3 months ago
Download
www.di.unito.it
Laura Giordano, Alberto Martelli, Camilla Schwind
claim paper
Read More »
105
Voted
CORR
2010
Springer
64
views
Education
»
more
CORR 2010
»
A Spatial-Epistemic Logic for Reasoning about Security Protocols
14 years 10 months ago
Download
www.cs.cmu.edu
Bernardo Toninho, Luís Caires
claim paper
Read More »
155
Voted
PEWASUN
2004
ACM
147
views
Computer Networks
»
more
PEWASUN 2004
»
A framework of secure location service for position-based ad hoc routing
15 years 9 months ago
Download
www.ece.ubc.ca
In large and dense mobile ad hoc networks, position-based routing protocols can offer significant performance improvement over topology-based routing protocols by using location i...
Joo-Han Song, Vincent W. S. Wong, Victor C. M. Leu...
claim paper
Read More »
« Prev
« First
page 110 / 298
Last »
Next »