Security of multiagent systems
a case study on comparison shopping
Metadata only
Date
2007Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedJournal / series
Journal of Applied LogicVolume
Pages / Article No.
Publisher
ElsevierSubject
Formal verification; Information security; Information flow control; Multi-agent systems; Compositional reasoningOrganisational unit
03634 - Basin, David / Basin, David
Notes
Available online 3 February 2006.More
Show all metadata
ETH Bibliography
yes
Altmetrics