A Declarative Framework for Security: Secure Concurrent Constraint Programming

Hugo A. López 1 Catuscia Palamidessi 2 Jorge Andrés Pérez 1 Camilo Rueda 1 Frank Valencia 2
2 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : 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.
Type de document :
Communication dans un congrès
Sandro Etalle and Miroslaw Truszczynski. 22nd International Conference on logic Programming (ICLP), Aug 2006, Seattle, United States. Springer, 4079, pp.449-450, 2006, Lecture Notes in Computer Science. 〈10.1007/11799573_43〉
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00201148
Contributeur : Catuscia Palamidessi <>
Soumis le : mercredi 26 décembre 2007 - 17:53:30
Dernière modification le : jeudi 10 mai 2018 - 02:06:28
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 13:25:17

Fichier

secureccp.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank Valencia. A Declarative Framework for Security: Secure Concurrent Constraint Programming. Sandro Etalle and Miroslaw Truszczynski. 22nd International Conference on logic Programming (ICLP), Aug 2006, Seattle, United States. Springer, 4079, pp.449-450, 2006, Lecture Notes in Computer Science. 〈10.1007/11799573_43〉. 〈inria-00201148〉

Partager

Métriques

Consultations de la notice

301

Téléchargements de fichiers

143