A declarative framework for security: Secure concurrent constraint programming

Hugo A. López; Catuscia Palamidessi; Jorge A. Pérez; Camilo Rueda; Frank D. Valencia

doi:10.1007/11799573_43

A declarative framework for security: Secure concurrent constraint programming

Hugo A. López
, Catuscia Palamidessi
, Jorge A. Pérez
, Camilo Rueda
, Frank D. Valencia

Pontificia Universidad Javeriana
INRIA Grand-Est
LIX École Polytechnique de Paris

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

5 Citas (Scopus)

Idioma original	Inglés
Título de la publicación alojada	Logic Programming - 22nd International Conference, ICLP 2006, Proceedings
Editorial	Springer Verlag
Páginas	449-450
Número de páginas	2
ISBN (versión impresa)	9783540366355
DOI	https://doi.org/10.1007/11799573_43
Estado	Publicada - 2006
Publicado de forma externa	Sí
Evento	22nd International Conference on Logic Programming, ICLP 2006 - Seattle, WA, Estados Unidos Duración: 17 ago 2006 → 20 ago 2006

Serie de la publicación

Nombre	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen	4079 LNCS
ISSN (versión impresa)	0302-9743
ISSN (versión digital)	1611-3349

Conferencia

Conferencia	22nd International Conference on Logic Programming, ICLP 2006
País/Territorio	Estados Unidos
Ciudad	Seattle, WA
Período	17/08/06 → 20/08/06

Acceder al documento

10.1007/11799573_43

Otros archivos y enlaces

Enlace a la publicación en Scopus

Citar esto

López, H. A., Palamidessi, C., Pérez, J. A., Rueda, C., & Valencia, F. D. (2006). A declarative framework for security: Secure concurrent constraint programming. En Logic Programming - 22nd International Conference, ICLP 2006, Proceedings (pp. 449-450). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4079 LNCS). Springer Verlag. https://doi.org/10.1007/11799573_43

López, Hugo A. ; Palamidessi, Catuscia ; Pérez, Jorge A. et al. / A declarative framework for security : Secure concurrent constraint programming. Logic Programming - 22nd International Conference, ICLP 2006, Proceedings. Springer Verlag, 2006. pp. 449-450 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{10f5b5a1b4d24ad5bfa358ce04a20e77,

title = "A declarative framework for security: Secure concurrent constraint programming",

author = "L{\'o}pez, \{Hugo A.\} and Catuscia Palamidessi and P{\'e}rez, \{Jorge A.\} and Camilo Rueda and Valencia, \{Frank D.\}",

year = "2006",

doi = "10.1007/11799573\_43",

language = "English",

isbn = "9783540366355",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "449--450",

booktitle = "Logic Programming - 22nd International Conference, ICLP 2006, Proceedings",

address = "Germany",

note = "22nd International Conference on Logic Programming, ICLP 2006 ; Conference date: 17-08-2006 Through 20-08-2006",

}

López, HA, Palamidessi, C, Pérez, JA, Rueda, C & Valencia, FD 2006, A declarative framework for security: Secure concurrent constraint programming. En Logic Programming - 22nd International Conference, ICLP 2006, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4079 LNCS, Springer Verlag, pp. 449-450, 22nd International Conference on Logic Programming, ICLP 2006, Seattle, WA, Estados Unidos, 17/08/06. https://doi.org/10.1007/11799573_43

A declarative framework for security: Secure concurrent constraint programming. / López, Hugo A.; Palamidessi, Catuscia; Pérez, Jorge A. et al.
Logic Programming - 22nd International Conference, ICLP 2006, Proceedings. Springer Verlag, 2006. p. 449-450 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4079 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

TY - GEN

T1 - A declarative framework for security

T2 - 22nd International Conference on Logic Programming, ICLP 2006

AU - López, Hugo A.

AU - Palamidessi, Catuscia

AU - Pérez, Jorge A.

AU - Rueda, Camilo

AU - Valencia, Frank D.

PY - 2006

Y1 - 2006

UR - https://www.scopus.com/pages/publications/33749316914

U2 - 10.1007/11799573_43

DO - 10.1007/11799573_43

M3 - Conference contribution

AN - SCOPUS:33749316914

SN - 9783540366355

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 449

EP - 450

BT - Logic Programming - 22nd International Conference, ICLP 2006, Proceedings

PB - Springer Verlag

Y2 - 17 August 2006 through 20 August 2006

ER -

López HA, Palamidessi C, Pérez JA, Rueda C, Valencia FD. A declarative framework for security: Secure concurrent constraint programming. En Logic Programming - 22nd International Conference, ICLP 2006, Proceedings. Springer Verlag. 2006. p. 449-450. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/11799573_43