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 de Cali

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Logic Programming - 22nd International Conference, ICLP 2006, Proceedings
Publisher	Springer Verlag
Pages	449-450
Number of pages	2
ISBN (Print)	9783540366355
DOIs	https://doi.org/10.1007/11799573_43
Publication status	Published - 1 Jan 2006
Event	22nd International Conference on Logic Programming, ICLP 2006 - Seattle, WA, United States Duration: 17 Aug 2006 → 20 Aug 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4079 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	22nd International Conference on Logic Programming, ICLP 2006
Country/Territory	United States
City	Seattle, WA
Period	17/08/06 → 20/08/06

Access to Document

10.1007/11799573_43

Cite this

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. In 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{c98ae5e4084a4bf899c36af3df4ccd05,

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",

month = jan,

day = "1",

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",

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. in 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, United States, 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).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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/1/1

Y1 - 2006/1/1

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

A declarative framework for security: Secure concurrent constraint programming

Publication series

Conference

Access to Document

Other files and links

Cite this