Search Sciweavers | Sciweavers

3504 search results - page 148 / 701

» Secure protocol composition

152

click to vote

CSFW
1995
IEEE

135views Security Privacy» more CSFW 1995»

Composing and decomposing systems under security properties

15 years 8 months ago

Download www.comlab.ox.ac.uk

We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...

A. W. Roscoe, L. Wulf

claim paper

Read More »

171

Voted

ASIACRYPT
2000
Springer

138views Cryptology» more ASIACRYPT 2000»

Authenticated Encryption: Relations among Notions and Analysis of the Generic Composition Paradigm

15 years 9 months ago

Download eprint.iacr.org

An authenticated encryption scheme is a symmetric encryption scheme whose goal is to provide both privacy and integrity. We consider two possible notions of authenticity for such ...

Mihir Bellare, Chanathip Namprempre

claim paper

Read More »

158

Voted

ICOIN
2001
Springer

122views Communications» more ICOIN 2001»

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

15 years 9 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 »

112

click to vote

CAV
2009
Springer

106views Hardware» more CAV 2009»

Models and Proofs of Protocol Security: A Progress Report

16 years 5 months ago