Search Sciweavers | Sciweavers

5255 search results - page 7 / 1051

» Formal Methods for Privacy

137

click to vote

ESORICS
2005
Springer

96views Security Privacy» more ESORICS 2005»

Soundness of Formal Encryption in the Presence of Key-Cycles

16 years 18 days ago

Download www.cis.upenn.edu

Pedro Adão, Gergei Bana, Jonathan Herzog, A...

claim paper

Read More »

183

click to vote

CSFW
2003
IEEE

101views Security Privacy» more CSFW 2003»

A Derivation System for Security Protocols and its Logical Formalization

16 years 11 days ago

Download www.andrew.cmu.edu

Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...

claim paper

Read More »

156

click to vote

ETRICS
2006

123views Security Privacy» more ETRICS 2006»

Controlling Access to Documents: A Formal Access Control Model

15 years 10 months ago

Download www.inf.ethz.ch

Paul E. Sevinç, David A. Basin, Ernst-R&uum...

claim paper

Read More »

138

click to vote

ESORICS
2000
Springer

91views Security Privacy» more ESORICS 2000»

Formal Verification of Cardholder Registration in SET

15 years 10 months ago

Download www.cl.cam.ac.uk

Giampaolo Bella, Fabio Massacci, Lawrence C. Pauls...

claim paper

Read More »

146

click to vote

OOPSLA
2000
Springer

70views Security Privacy» more OOPSLA 2000»

Formal specification of CORBA services: experience and lessons learned

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers