Search Sciweavers | Sciweavers

5255 search results - page 7 / 1051

» Formal Methods for Privacy

click to vote

ESORICS
2005
Springer

96views Security Privacy» more ESORICS 2005»

Soundness of Formal Encryption in the Presence of Key-Cycles

14 years 1 months ago

Download www.cis.upenn.edu

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

claim paper

Read More »

click to vote

CSFW
2003
IEEE

101views Security Privacy» more CSFW 2003»

A Derivation System for Security Protocols and its Logical Formalization

14 years 28 days ago

Download www.andrew.cmu.edu

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

claim paper

Read More »

click to vote

ETRICS
2006

123views Security Privacy» more ETRICS 2006»

Controlling Access to Documents: A Formal Access Control Model

13 years 11 months ago

Download www.inf.ethz.ch

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

claim paper

Read More »

click to vote

ESORICS
2000
Springer

91views Security Privacy» more ESORICS 2000»

Formal Verification of Cardholder Registration in SET

13 years 11 months ago

Download www.cl.cam.ac.uk

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

claim paper

Read More »

click to vote

OOPSLA
2000
Springer

70views Security Privacy» more OOPSLA 2000»

Formal specification of CORBA services: experience and lessons learned

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers