A Declarative Framework for Security: Secure Concurrent Constraint Programming

Hugo A. López; Catuscia Palamidessi; Jorge Andrés 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 Andrés Pérez, Camilo Rueda, Frank D. Valencia

Fundamental Computing

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

5 Citations (Scopus)

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.

Original language	English
Title of host publication	Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Editors	S. Etalle , M. Truszczyński
Place of Publication	Berlin
Publisher	Springer
Pages	449-450
Number of pages	2
ISBN (Electronic)	978-3-540-36636-2
ISBN (Print)	978-3-540-36635-5
DOIs	https://doi.org/10.1007/11799573_43
Publication status	Published - 2006

Publication series

Name	Lecture Notes in Computer Science
Volume	4079
ISSN (Print)	0302-9743

Access to Document

10.1007/11799573_43

Handle.net

Persistent link

Embargoed Document

A Declarative Framework for Security Secure Concurrent Constraint
Final publisher's version, 36.8 KB
Request copy

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 S. Etalle , & M. Truszczyński (Eds.), Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (pp. 449-450). (Lecture Notes in Computer Science; Vol. 4079). Springer. https://doi.org/10.1007/11799573_43

López, Hugo A. ; Palamidessi, Catuscia ; Pérez, Jorge Andrés et al. / A Declarative Framework for Security : Secure Concurrent Constraint Programming. Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. editor / S. Etalle ; M. Truszczyński. Berlin : Springer, 2006. pp. 449-450 (Lecture Notes in Computer Science).

@inproceedings{623d07df3ed442a08a81c18f9aff6d5a,

title = "A Declarative Framework for Security: Secure Concurrent Constraint Programming",

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

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

year = "2006",

doi = "10.1007/11799573_43",

language = "English",

isbn = "978-3-540-36635-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "449--450",

editor = "{Etalle }, { S.} and Truszczy{\'n}ski, { M. }",

booktitle = "Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings",

}

López, HA, Palamidessi, C, Pérez, JA, Rueda, C & Valencia, FD 2006, A Declarative Framework for Security: Secure Concurrent Constraint Programming. in S Etalle & M Truszczyński (eds), Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Lecture Notes in Computer Science, vol. 4079, Springer, Berlin, pp. 449-450. 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 Andrés et al.
Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. ed. / S. Etalle ; M. Truszczyński. Berlin: Springer, 2006. p. 449-450 (Lecture Notes in Computer Science; Vol. 4079).

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

TY - GEN

T1 - A Declarative Framework for Security

T2 - Secure Concurrent Constraint Programming

AU - López, Hugo A.

AU - Palamidessi, Catuscia

AU - Pérez, Jorge Andrés

AU - Rueda, Camilo

AU - Valencia, Frank D.

PY - 2006

Y1 - 2006

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

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

U2 - 10.1007/11799573_43

DO - 10.1007/11799573_43

M3 - Conference contribution

SN - 978-3-540-36635-5

T3 - Lecture Notes in Computer Science

SP - 449

EP - 450

BT - Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

A2 - Etalle , S.

A2 - Truszczyński, M.

PB - Springer

CY - Berlin

ER -

López HA, Palamidessi C, Pérez JA, Rueda C, Valencia FD. A Declarative Framework for Security: Secure Concurrent Constraint Programming. In Etalle S, Truszczyński M, editors, Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Berlin: Springer. 2006. p. 449-450. (Lecture Notes in Computer Science). doi: 10.1007/11799573_43

A Declarative Framework for Security: Secure Concurrent Constraint Programming

Abstract

Publication series

Access to Document

Handle.net

Embargoed Document

Fingerprint

Cite this