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

https://hal.inria.fr/inria-00201148
Contributor : Catuscia Palamidessi <>
Submitted on : Wednesday, December 26, 2007 - 5:53:30 PM
Last modification on : Thursday, March 5, 2020 - 6:18:32 PM
Long-term archiving on: : Thursday, September 27, 2012 - 1:25:17 PM

File

secureccp.pdf
Files produced by the author(s)

Identifiers

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. 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⟩

Share

Metrics

Record views

411

Files downloads

415