A Declarative Framework for Security: Secure Concurrent Constraint Programming

  • Hugo A. López
  • Catuscia Palamidessi
  • Jorge A. Pérez
  • Camilo Rueda
  • Frank D. Valencia
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4079)

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.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Hugo A. López
    • 1
  • Catuscia Palamidessi
    • 2
  • Jorge A. Pérez
    • 1
  • Camilo Rueda
    • 1
  • Frank D. Valencia
    • 3
  1. 1.Pontificia Universidad Javeriana – Cali 
  2. 2.INRIA and LIX École Polytechnique 
  3. 3.CNRS and LIX École Polytechnique 

Personalised recommendations