Search Sciweavers | Sciweavers

4340 search results - page 3 / 868

» Formal Methods and Cryptography

click to vote

ESORICS
2005
Springer

161views Security Privacy» more ESORICS 2005»

Machine-Checked Security Proofs of Cryptographic Signature Schemes

14 years 4 months ago

Download www-sop.inria.fr

Abstract. Formal methods have been extensively applied to the certiﬁcation of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....

Sabrina Tarento

claim paper

Read More »

click to vote

AWIC
2003
Springer

103views Internet Technology» more AWIC 2003»

Secure Intelligent Agents Based on Formal Description Techniques

14 years 4 months ago

Download pegaso.ls.fi.upm.es

This paper describes a practical solution for the incorporation of security services in agents. From a set of basic user requirements, the agents will be able to find out the best ...

L. Mengual, C. de la Puente

claim paper

Read More »

click to vote

ASIAN
2007
Springer

126views Algorithms» more ASIAN 2007»

Computational Semantics for Basic Protocol Logic - A Stochastic Approach

14 years 5 months ago

Download eprint.iacr.org

Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with ﬁrst ord...

Gergei Bana, Koji Hasebe, Mitsuhiro Okada

claim paper

Read More »

click to vote

TOCL
2012

202views Formal Methods» more TOCL 2012»

Reachability Problems in Piecewise FIFO Systems

12 years 1 months ago