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

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 - http://www.scopus.com/inward/record.url?scp=33749316914&partnerID=8YFLogxK

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