Sciweavers

206 search results - page 1 / 42

» A Logic of Privacy

13

CSFW
2008
IEEE

118views Security Privacy» more CSFW 2008»

Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis

13 years 11 months ago

Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis

Download pubs.doc.ic.ac.uk

Glenn Bruns, Michael Huth

claim paper

Read More »

9

ESORICS
2007
Springer

108views Security Privacy» more ESORICS 2007»

A Logic for State-Modifying Authorization Policies

13 years 11 months ago

A Logic for State-Modifying Authorization Policies

Download research.microsoft.com

Moritz Y. Becker, Sebastian Nanz

claim paper

Read More »

7

CSFW
2002
IEEE

85views Security Privacy» more CSFW 2002»

A Logic for Reasoning about Digital Rights

13 years 9 months ago

A Logic for Reasoning about Digital Rights

Download www.cis.upenn.edu

Riccardo Pucella, Vicky Weissman

claim paper

Read More »

13

SP
2000
IEEE

95views Security Privacy» more SP 2000»

Logic Induction of Valid Behavior Specifications for Intrusion Detection

13 years 9 months ago

Logic Induction of Valid Behavior Specifications for Intrusion Detection

Download www.cc.gatech.edu

Calvin Ko

claim paper

Read More »

6

CSFW
2006
IEEE

100views Security Privacy» more CSFW 2006»

A Temporal Logic Characterisation of Observational Determinism

13 years 8 months ago

A Temporal Logic Characterisation of Observational Determinism

Download www.loria.fr

Marieke Huisman, Pratik Worah, Kim Sunesen

claim paper

Read More »

« Prev « First page 1 / 42 Last » Next »