Security of multiagent systems: a case study on comparison shopping

Metadata only

Author

Date

2007

Type

Journal Article

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Journal / series

Journal of Applied Logic

Volume

5(2)

Pages / Article No.

303 - 332

Publisher

Elsevier

Subject

Formal verification; Information security; Information flow control; Multi-agent systems; Compositional reasoning

Organisational unit

03634 - Basin, David / Basin, David

Notes

Available online 3 February 2006.

More

ETH Bibliography

yes

Altmetrics

Research Collection