A declarative framework for security: Secure concurrent constraint programming

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  • Hugo A. López
  • Catuscia Palamidessi
  • Jorge A. Pérez
  • Camilo Rueda
  • Frank D. Valencia
OriginalsprogEngelsk
TitelLogic Programming - 22nd International Conference, ICLP 2006, Proceedings
Antal sider2
ForlagSpringer Verlag
Publikationsdato1 jan. 2006
Sider449-450
ISBN (Trykt)9783540366355
StatusUdgivet - 1 jan. 2006
Begivenhed22nd International Conference on Logic Programming, ICLP 2006 - Seattle, WA, USA
Varighed: 17 aug. 200620 aug. 2006

Konference

Konference22nd International Conference on Logic Programming, ICLP 2006
LandUSA
BySeattle, WA
Periode17/08/200620/08/2006
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind4079 LNCS
ISSN0302-9743

ID: 235144967