Sciweavers

1679 search results - page 18 / 336

» Security Properties and CSP

20

ESSOS
2010
Springer

160views Software Engineering» more ESSOS 2010»

Model-Driven Security Policy Deployment: Property Oriented Approach

14 years 4 months ago

Model-Driven Security Policy Deployment: Property Oriented Approach

Download deic.uab.es

Stere Preda, Nora Cuppens-Boulahia, Fréd&ea...

claim paper

Read More »

23

TARK
2005
Springer

98views Automated Reasoning» more TARK 2005»

Deciding knowledge properties of security protocols

14 years 1 months ago

Deciding knowledge properties of security protocols

Download www.tark.org

Ramaswamy Ramanujam, S. P. Suresh

claim paper

Read More »

20

AAAI
2008

98views Intelligent Agents» more AAAI 2008»

From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic

13 years 10 months ago

From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic

Download www.aaai.org

Joseph Y. Halpern

claim paper

Read More »

17

CORR
2007
Springer

56views Education» more CORR 2007»

Deciding security properties for cryptographic protocols. Application to key cycles

13 years 7 months ago

Deciding security properties for cryptographic protocols. Application to key cycles

Download www.loria.fr

Hubert Comon-Lundh, Véronique Cortier, Euge...

claim paper

Read More »

23

CL
2004
Springer

80views Automated Reasoning» more CL 2004»

Verifying persistent security properties

13 years 7 months ago

Verifying persistent security properties

Download www.di.unipi.it

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sa...

claim paper

Read More »

« Prev « First page 18 / 336 Last » Next »