Skip to Main content Skip to Navigation
Conference papers

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
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Catuscia Palamidessi Connect in order to contact the contributor
Submitted on : Wednesday, December 26, 2007 - 5:53:30 PM
Last modification on : Thursday, January 20, 2022 - 5:28:39 PM
Long-term archiving on: : Thursday, September 27, 2012 - 1:25:17 PM


Files produced by the author(s)




Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank 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⟩



Record views


Files downloads