A Declarative Framework for Security: Secure Concurrent Constraint Programming

AuthID
 P-00F-SHD
5
Author(s)
Lopez, HA
·
Palamidessi, C
·
Rueda, C
·
Valencia, FD
Tipo de Documento
Proceedings Paper
Year published
2006
Publicado
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 4079 LNCS, Páginas: 449-450
Conference
22Nd International Conference on Logic Programming, Iclp 2006, Date: 17 August 2006 through 20 August 2006, Location: Seattle, WA
Indexing
Scopus®
Publication Identifiers
SCOPUS: 2-s2.0-33749316914
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service