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

OnderzoeksoutputAcademicpeer review

5 Citaten (Scopus)

Samenvatting

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.
Originele taal-2English
TitelLogic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Redacteuren S. Etalle , M. Truszczyński
Plaats van productieBerlin
UitgeverijSpringer
Pagina's449-450
Aantal pagina's2
ISBN van elektronische versie978-3-540-36636-2
ISBN van geprinte versie978-3-540-36635-5
DOI's
StatusPublished - 2006

Publicatie series

NaamLecture Notes in Computer Science
Volume4079
ISSN van geprinte versie0302-9743

Vingerafdruk

Duik in de onderzoeksthema's van 'A Declarative Framework for Security: Secure Concurrent Constraint Programming'. Samen vormen ze een unieke vingerafdruk.

Citeer dit