Security of multiagent systems
a case study on comparison shopping
Metadata only
Datum
2007Typ
- Journal Article
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
Journal of Applied LogicBand
Seiten / Artikelnummer
Verlag
ElsevierThema
Formal verification; Information security; Information flow control; Multi-agent systems; Compositional reasoningOrganisationseinheit
03634 - Basin, David / Basin, David
Anmerkungen
Available online 3 February 2006.ETH Bibliographie
yes
Altmetrics