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

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

langue originale	Anglais
titre	Logic Programming - 22nd International Conference, ICLP 2006, Proceedings
Editeur	Springer Verlag
Pages	449-450
Nombre de pages	2
ISBN (imprimé)	9783540366355
Les DOIs	https://doi.org/10.1007/11799573_43
état	Publié - 1 janv. 2006
Evénement	22nd International Conference on Logic Programming, ICLP 2006 - Seattle, WA, États-Unis Durée: 17 août 2006 → 20 août 2006

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4079 LNCS
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	22nd International Conference on Logic Programming, ICLP 2006
Pays/Territoire	États-Unis
La ville	Seattle, WA
période	17/08/06 → 20/08/06

Accès au document

10.1007/11799573_43

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

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. Dans Logic Programming - 22nd International Conference, ICLP 2006, Proceedings (p. 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. p. 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. Dans 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, p. 449-450, 22nd International Conference on Logic Programming, ICLP 2006, Seattle, WA, États-Unis, 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).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

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