JCS 2010 | Sciweavers

28

click to vote

JCS
2010

66views more JCS 2010»

Adjoining classified and unclassified information by abstract interpretation

13 years 6 months ago

Download profs.sci.univr.it

Roberto Giacobazzi, Isabella Mastroeni

claim paper

Read More »

42

click to vote

JCS
2010

80views more JCS 2010»

Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols

13 years 6 months ago

Download www.inf.ethz.ch

We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...

Sebastian Mödersheim, Luca Viganò, Dav...

claim paper

Read More »

34

click to vote

JCS
2010

151views more JCS 2010»

Biometric template protection in multimodal authentication systems based on error correcting codes

13 years 6 months ago

Download www.iti.gr

Savvas Argyropoulos, Dimitrios Tzovaras, Dimosthen...

claim paper

Read More »

39

click to vote

JCS
2010

112views more JCS 2010»

Inductive trace properties for computational security

13 years 10 months ago

Download www.stanford.edu

Protocol authentication properties are generally trace-based, meaning that authentication holds for the protocol if authentication holds for individual traces (runs of the protoco...

Arnab Roy, Anupam Datta, Ante Derek, John C. Mitch...

claim paper

Read More »

40

click to vote

JCS
2010

121views more JCS 2010»

Computational soundness of symbolic zero-knowledge proofs

13 years 10 months ago

Download eprint.iacr.org

raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently signiﬁca...

Michael Backes, Dominique Unruh

claim paper

Read More »

22

click to vote

JCS
2010

64views more JCS 2010»

Finite models for formal security proofs

13 years 10 months ago

Download www.lsv.ens-cachan.fr

Jean Goubault-Larrecq

claim paper

Read More »

30

click to vote

JCS
2010

58views more JCS 2010»

Computationally sound analysis of protocols using bilinear pairings

13 years 10 months ago

Download www.lsv.ens-cachan.fr

Steve Kremer, Laurent Mazaré

claim paper

Read More »

38

click to vote

JCS
2010

124views more JCS 2010»

Verifying resource access control on mobile interactive devices

13 years 10 months ago

Download www.irisa.fr

A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...

Frédéric Besson, Guillaume Dufay, Th...

claim paper

Read More »

26

click to vote

JCS
2010

61views more JCS 2010»

Formal security analysis of PKCS#11 and proprietary extensions

13 years 10 months ago

Download www.lsv.ens-cachan.fr

Stéphanie Delaune, Steve Kremer, Graham Ste...

claim paper