Sicherheit in der Informationstechnik - Verantwortungsteilung zwischen Nutzern, Wirtschaft und Staat

Martin Schallbruch; Stephan Micklitz; Constanze Kurz; Luc Steels; Manfred Broy; Danny Dolev; Christa Weßel; Kai Meyer; Felix Zwingenberger; Marcel Donges; Andreas Harth; Denny Vrandecic; Thomas Magedanz; Julius Müller; Philipp Taesler; Monique Janneck; Manfred F. Moldaschl; Christian Traubinger; Doris Blutner; Katrin Hirte; Max- R. Ulbricht; Felix Limbach; Jochen Wulf; Rüdiger Zarnekow; Michael Düser; Johannes Kettern; Frank Joachim Frey; Robert Mertens; Stefan Andres; Samir Dorhmi; Ulrich Bareth; Axel Küpper; Behrend Freese; Marian Benner; Volker Gruhn; Sebastian Milenk; Djamshid Tavangarian; Daniel Versick; Odej Kao; Andreas Kohne; Robert Hilbrich; Matthias Gerlach; Martin Von Löwis; Peter Tröger; Evgeny Semenov; Daniel Versick; Djamshid Tavangarian; Matthias Goeken; Konrad Walser; Stefan Stieglitz; Christian Meske; Jens Bartenschlager; Karin Gräslund; Jana Nizold; Sandy Eggert; Martin Burwitz; Hannes Schlieter; Werner Esswein; Christian Neuhaus; Robert Wierschke; Martin Von Löwis; Andreas Polze; Sandy Eggert; Plamen Kiradjiev; Bernd Rehwaldt; Yevheniy Eydelman; Carol Gutzeit; Steffen Dienst; Stefan Kühne; Jörg Hohwiller; Diethelm Schlegel; Lothar Wieske; Andre Grübel; René Reiners; Helge Buckow; Hans-Jürgen Groß; Gunther Piller; Norbert Strumpf; Oliver F. Nandico; Johannes Willkomm; Alfred Zimmermann; Maciej Wienszczak; Robert Tolksdorf; Oliver Stecklina; Peter Langendörfer; Simon Hunke; Gabriel Klein; Marko Jahnke; Lothar Braun; Alexander Klein; Leon Aaron Kaplan; Georg Carle; Hannes Federrath; Christoph Gerber; Stefan Metzger; Wolfgang Hommel; Helmut Reiser; Alexander Knaus; Johannes Stüttgen; Jan Göbel; Markus Engelberth; Felix Freiling; Joel Chinnow; Dennis Grunewald; Joel Chinnow; Rainer Bye; Ahmet Camtepe; Sahin Albayrak; Martin Möller; Rainer Bye; Karsten Bsufka; Ahmet Camtepe; Sahin Albayrak; Kurt Sandkuhl; Ralf-Detlef Kutsche; Thomas Baar; Matthias Book; Klaus Aengenvoort; Nikola Milanovic; Rolf Hänisch; Bernd Landmesser; Bernd Landmesser; Wilhelm Mülder; Katrin Flöter; Henner Knabenreich; Andreas Eckhardt; Mark Andrási; Jürgen Karla; Björn Gronenschild; Stefan Strohmeier; Christian Gasper; Daniel Müller; Eduard Wessel; Ricardo Buettner; Andreas Mielke; Philipp Bitzer; Eike M. Hirdes; Axel Hoffmann; Jan Marco Leimeister; Daniel Fürstenau; Gregor Grambow; Roy Oberhauser; Manfred Reichert; Uta Lösch; David Müller; Elmar P. Wach; Katja Hose; Steffen Metzger; Ralf Schenkel; Wolfgang Müller; Ralf Hofestädt; Klaus Kuhn; Can Türker; Jan Taubert; Fabian Prasser; Sebastian Wurst; Gregor Lamla; Klaus Kuhn; Alfons Kemper; Sebastian Arzt; Johannes Starlinger; Oliver Arnold; Stefan Kroeger; Samira Jaeger; Ulf Leser; Lei Shi; Lenneke Jong; Wolfgang Mueller; Enkhjargal Algaa; Hendrik Mehlhorn; Falk Schreiber; Astrid Herbold; Katrin Bohnet; Eva-Maria Dombrowski; Karin Windt; Jan Froese; Jan Froese; Martin Böttcher; Michael Becker; Stephan Klingner; Tom Zentek; Peter Wolf; Matthias Liebisch; Christiane Floyd; Axel Hoffmann; Matthias Söllner; Alexander Fehr; Holger Hoffmann; Jan Marco Leimeister; Sabine Janzen; Andreas Filler; Wolfgang Maass; Thomas Schulz; Hendrik Skistims; Julia Zirfas; Diana Comes; Christoph Evers; Carl Stolze; Niklas Rah; Oliver Thomas; Frederic Bleck; David Wittstruck; Frank Teuteberg; Fabian Loeser; Koray Erek; Rüdiger Zarnekow; Jonas Repschläger; Koray Erek; Marc Wilkens; Danny Pannicke; Rüdiger Zarnekow; Tobias Ziep; Peter Krehahn; Volker Wohlgemuth; Markus Gaulke; Konrad Walser; Matthias Goeken; Stefan Traulsen; Marco Tröbs; Karsten Zimmermann; Marcel Morisse; Ingrid Schirmer; Patrick Wolf; Matthias Goeken; Frank Termer; Volker Nissen; Max Dirndorfer; Barbara Handy; Josef Schneeberger; Herbert Fischer; Matthias Boehm; Carl Stolze; Oliver Thomas; Paul Drews; Ingrid Schirmer; Martin Weiser; Simon Gerlach; Armin Widegreen; Fadi Chabarek; Ulrike Golas; Benjamin Gutekunst; Jens Weiland; Mathias Schraps; Torsten Ronneberger; Wolfgang Golubski; Miriam Heilemann; Günther Palm; Ralf Nörenberg; Anastacia Cmyrev; Klaus D. Müller-Glaser; Ralf Reißing; Norbert Englisch; Toni Helfrich; Wolfram Hardt; Gregor Engels; Andreas Knirsch; Joachim Wietzke; Ronald Moore; Paul S. Dowland; Christoph Schmutzler; Andreas Krüger; Martin Simons; Jürgen Becker; Kathrin M. Möslein; Angelika C. Bullinger; Stefan Thallmaier; Dennis Hilgers; Katja Hutter; Johann Fueller; Giordano Koch; Nizar Abdelkafi; Dagmar Abfalter; Melanie Zaglia; Julia Müller; Florian Kraler; Martin Stoetzel; Martin Wiener; Annika Schröder; Katharina Hölzle; Carsten Schultz; Sabrina Adamczyk; Dominik Böhler; Angelika Cosima Bullinger; Kathrin M. Möslein; Bastian Bansemir; Anne-Katrin Neyer; Kathrin M. Möslein; Harald Ruckriegel; Stephan Oertelt; Angelika Cosima Bullinger; Frank Danzinger; Martin Dumbach; Michael Römer; Stefan Thallmaier; Markus Edgar Hormeß; Adam Lawrence; Hagen Habicht; Susanne Biundo; Dietmar Rösner; Harald Traue; Andreas Wendemuth; Matthias Haase; Rafael Friesen; Julia Lange; Dietmar Rösner; Jörg Frommer; Steffen Walter; Cornelia Wendt; Kestin Limbrecht; Sascha Gruss; Harald C. Traue; Susann Wolff; Christin Kohrs; Henning Scheich; André Brechmann; Georg Layher; Heiko Neumann; Stefan Scherer; Stephan Tschechne; Tobias Brosch; Cristóbal Curio; Julia Lange; Jörg Frommer; Ulrich Geske; Armin Wolf; Walter Weininger; Armin Wolf; Saskia Sandow; Christoph Beierle; Gabriele Kern-Isberner; Steve Dillan; Anna Prenzel; Georg Ringwelski; Philipp Heim; Steffen Lohmann; Thomas Schlegel; Jürgen Ziegler; Harald Bosch; Dennis Thom; Thomas Ertl; Mandy Keck; Dietrich Kammer; René Iwan; Severin Taranko; Rainer Groh; Michael Raschke; Philipp Heim; Thomas Ertl; Timo Stegemann; Tim Hussein; Werner Gaulke; Jürgen Ziegler; Philipp Heim; Sören Brunk; Johannes Osterhoff; Joerg Waitelonis; Joscha Jäger; Harald Sack; Jörg Benze; Christian Hübner; Andreas Kießling; Sebastian Beer; Michael Sonnenschein; Hans-Jürgen Appelrath; Christian Gitte; Jens Hartmann; Hartmut Schmeck; Klaus Bastian; Andreas Kusow; Fabian Wucholt; Mareike Mähler; Yeliz Yildirim-Krannig; Alexander Wollert; Ganga Mannabeth; Anton Donner; Stefan Erl; Christine Adler; Anton Metz; Marion Krüsmann; Thomas Greiner-Mai; Michael Ben-Amar; Eva Artinger; Tayfur Coskun; Martin Schanzenbach; Florian Echtler; Simon Nestler; Gudrun Klinker; Tilo Mentler; Martin Christof Kindsmüller; Michael Herczeg; Fabian Wucholt; Uwe Krüger; Steffen Kern; Philip Effinger; Nicole Jogsch; Sandra Seiz; Arif Wider; Anthony Anjorin; Marius Lauder; Sven Patzina; Andy Schürr; Ulf Rüegg; Christian Motika; Reinhard Von Hanxleden; Andreas Goepfert; Nils F. Wittig; Bernhard Rawein; Gregor Lux; Timo Paschke; Daniel Reichelt; Christian Woesle; Norbert Moenks; Ricardo Buettner; Verena Kluge; Frank Honold; Felix Schüssel; Michael Weber; Marcel Dausend; Mark Poguntke; Simon Gerlach; Sebastian Feuerstack; Mauro Dos Santos Anjo; Jessica Colnago; Ednaldo Pizzolato; Henning Hager; Stefan Hennig; Marc Seißler; Annerose Braune; Dominik Ertl; David Raneburger; Christine Keller; Romina Kühn; Thomas Schlegel; Ron Becker; Christoph Ruckert; Enrico Tappert; Johann Höchtl; Peter Parycek; Dagmar Lück-Schneider; Volker Conlé; Jörn Von Lucke; Padma Iyenghar; Andreas Speck; Sören Witt; Sven Feja; Johannes Reich; Peter Dadam; Christian Ammann; Stephan Kleuker; Elke Pulvermüller; Lars Braubach; Alexander Pokahr; Andreas Both; Wolf Zimmermann; Kai Wagner; Marek Jawurek; Felix Freiling; Matthias Gräuler; Benedikt Martens; Frank Teuteberg; Wolfgang Boehmer; Markus Schindler; Walid Taha; Robert Cartwright; Matthias Meier; Olaf Spinczyk; Florian Brandner; Viktor Pavlu; Andreas Krall; Christian Schwarz; Dietmar Schreiner; Clemens Punzengruber; Ingo Lütkebohle; Sven Wachsmuth; Susanne Thierfelder; Viktor Seib; Dagmar Lang; Marcel Häselich; Johannes Pellenz; Dietrich Paulus; Zaheer Aziz; Dirk Fischer; Tobias Kotthäuser; Bärbel Mertsching; Thomas Reinbacher; Dominique Gückel; Stefan Kowalewski; Martin Horauer; Michael Engel; Florian Schmoll; Andreas Heinig; Peter Marwedel; Uwe Laufs; Heiko Roßnagel; Jan Muntermann; Oliver Höß; Anette Weisbecker; Michael Murphy; Alexander Phleps; Micha Block; Daniel Löffelholz; Torben Pergande; Hauke Wittern; Olaf Zukunft; Claudia Nass; Kerstin Kloeckner; Rudolf Klein; Hartmut Schmitt; Sarah Diefenbach; Uwe Laufs; Jan Zibuschka; Heiko Roßnagel; Wolf Engelbach; Eray Özmü; Dominik Khan; Markus Braun; Bernhard Beckert; Matthias Kahl; Thomas Leibfried; Rafael Accorsi

Informatik 2011 > Programm > Workshops > Artikel

Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen

Rafael Accorsi

Verlässliche Software für kritische Infrastrukturen at INFORMATIK 2011 - Informatik schafft Communities
Berlin 2011

Abstract: Dieser Beitrag definiert die formalen Grundlagen zur Anwendung von struktureller Nicht-Interferenz für die fundierte Petrinetz-basierte Sicherheitsanalyse von industriellen Workflow-Modellen und damit den ursprünglichen Geschäftsprozessen. Der Ansatz wird anhand eines Beispiels für einen eAuction-Workflow veranschaulicht.

Volltext als PDF