Jump to ContentJump to Main Navigation

Online

99,00 € / $149.00*

* Prices subject to change. Shipping costs will be added if applicable.
Publication Date:
December 2007
ISSN:
1865-8342
DOI:
10.1515/PIKO.2003.39

See all formats and pricing

Online
Individual Subscription Online only
Euro [D] 99.00
RRP for USA, Canada, Mexico
US$ 149.00 *
Print
Individual Subscription Online only
Euro [D] 277.00
RRP for USA, Canada, Mexico
US$ 415.00 *
Print + Online
Individual Subscription Online only
Euro [D] 333.00
RRP for USA, Canada, Mexico
US$ 498.00 *
*Prices subject to change. Shipping costs will be added if applicable.

PIK - Praxis der Informationsverarbeitung und Kommunikation

Fachzeitschrift für den Einsatz von Informationssystemen

Ed. by Spaniol, Otto

4 Issues per year

VolumeIssuePage

Issues

Ahead of print >

Volume 36 (2013)

Volume 35 (2012)

Volume 34 (2011)

Volume 33 (2010)

Volume 32 (2009)

Volume 31 (2008)

Volume 30 (2007)

Volume 29 (2006)

Volume 28 (2005)

Volume 27 (2004)

Volume 26 (2003)

Volume 25 (2002)

Volume 24 (2001)

Volume 23 (2000)

Volume 22 (1999)

Volume 21 (1998)

Volume 20 (1997)

Volume 19 (1996)

Volume 18 (1995)

Volume 17 (1994)

Volume 16 (1993)

Volume 15 (1992)

Volume 14 (1991)

Volume 13 (1990)

Volume 12 (1989)

Volume 11 (1988)

Volume 10 (1987)

Volume 9 (1986)

Volume 8 (1985)

Volume 7 (1984)

Volume 6 (1983)

Volume 5 (1982)

Volume 4 (1981)

Volume 3 (1980)

Volume 2 (1979)

Volume 1 (1978)

Most Downloaded Articles

  1. Sicherheitsprobleme im Cloud Computing by Groß, Stephan/ Lischka, Mario/ Gruschka, Nils/ Miede, André/ Jensen, Meiko/ Mosch, Marc/ Schulte, Stefan and Siebenhaar, Melanie
  2. Masthead by null
  3. Lastgenerierung an IP-Schnittstellen mit dem UniLoG.IP-Adapter by Kolesnikov, Andrey and Kulas, Martin
  4. Optimization of Elastic Cloud Brokerage Mechanisms for Future Telecommunication Service Environments by Campowsky, Konrad/ Carella, Giuseppe/ Magedanz, Thomas and Schreiner, Florian
  5. Ein Routing-Atlas für die strukturelle und visuelle Exposition des deutschen Internets by Schmidt, Thomas C./ Wählisch, Matthias/ de Brün, Markus and Häberlen, Thomas

30,00 € / $42.00*

30,00 € / $42.00

Get Access to Full Text
(PDF, 226 KB)

Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen

D. Hutter / H. Mantel / A. Schairer

Citation Information: Praxis der Informationsverarbeitung und Kommunikation. Volume 26, Issue 1, Pages 39–47, ISSN (Print) 0930-5157, DOI: 10.1515/PIKO.2003.39, December 2007

Publication History:
Published Online:
2007-12-13

ZUSAMMENFASSUNG

Zur Lösung komplexer verteilter Probleme werden vermehrt Agenten-Systeme eingesetzt, bei denen Teile der Funktionalität typischerweise dezentral über Verhandlungen zwischen einzelnen Agenten realisiert werden. Beim Nachweis der Sicherheit solcher Systeme werden somit Eigenschaften der Verhandlungsführung oder allgemein der Kommunikation zwischen Agenten sicherheitskritisch. In diesem Artikel wird exemplarisch für den Bereich des Comparison-Shoppings aufgezeigt, wie man ausgehend von informell spezifizierten Sicherheitsanforderungen an ein Agenten-System schrittweise zu formal verifizierbaren Bedingungen im Sinne eines Informationsflussansatzes gelangt.

Comments (0)

Please log in or register to comment.