A Declarative Framework for Security: Secure Concurrent Constraint Programming - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

A Declarative Framework for Security: Secure Concurrent Constraint Programming

Résumé

Due to technological advances such as the Internet and mobile computing, Security has become a serious challenge involving several disciplines of Computer Science. In recent years, there has been a growing interest in the analysis of security protocols and one promising approach is the development of formalisms that model communicating processes, in particular Process Calculi. The results are so far encouraging although most remains to be done. In this paper we report our observations and preliminary work on CCP as a framework for security protocols.
Fichier principal
Vignette du fichier
secureccp.pdf (36.84 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00201148 , version 1 (26-12-2007)

Identifiants

Citer

Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia. A Declarative Framework for Security: Secure Concurrent Constraint Programming. 22nd International Conference on logic Programming (ICLP), Sandro Etalle and Miroslaw Truszczynski, Aug 2006, Seattle, United States. pp.449-450, ⟨10.1007/11799573_43⟩. ⟨inria-00201148⟩
170 Consultations
263 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More