Search Sciweavers | Sciweavers

1059 search results - page 25 / 212

» Modeling Security Protocols as Games

click to vote

ICOIN
2001
Springer

122views Communications» more ICOIN 2001»

Integrated Transport Layer Security: End-to-End Security Model between WTLS and TLS

14 years 1 months ago

Download sce.uhcl.edu

WAP is a set of protocols that optimizes standard TCP/IP/HTTP/HTML protocols, for use under the low bandwidth, high latency conditions often found in wireless networks. But, end-t...

Eun-Kyeong Kwon, Yong-Gu Cho, Ki-Joon Chae

claim paper

Read More »

click to vote

CAV
2009
Springer

106views Hardware» more CAV 2009»

Models and Proofs of Protocol Security: A Progress Report

14 years 9 months ago

Download www.di.ens.fr

Bruno Blanchet, Hubert Comon-Lundh, Martín ...

claim paper

Read More »

click to vote

DEPCOS
2008
IEEE

112views Hardware» more DEPCOS 2008»

Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models

14 years 3 months ago

Download alfredo.pironti.eu

Alfredo Pironti, Riccardo Sisto

claim paper

Read More »

click to vote

SYNASC
2008
IEEE

238views Algorithms» more SYNASC 2008»

A Modeling Framework for Generating Security Protocol Specifications

14 years 3 months ago

Download www.ibs.ro

Béla Genge, Piroska Haller

claim paper

Read More »

click to vote

JELIA
2004
Springer

133views Artificial Intelligence» more JELIA 2004»

SATMC: A SAT-Based Model Checker for Security Protocols

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers