Angebote zu "Communicating" (19 Treffer)

Kategorien

Shops

Communicating with XML
67,19 € *
ggf. zzgl. Versand

Erscheinungsdatum: 02.12.2011, Medium: Buch, Einband: Gebunden, Titel: Communicating with XML, Auflage: 2011, Autor: Salminen, Airi // Tompa, Frank, Verlag: Springer US, Sprache: Englisch, Schlagworte: Dokumentation // Informationssystem // Informatik // Wirtschaftsinformatik // Wirtschaft, Rubrik: Datenkommunikation // Netze, Mailboxen, Seiten: 240, Informationen: HC gerader Rücken kaschiert, Gewicht: 499 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 21.01.2020
Zum Angebot
Information Flow Security in Tree-Manipulating ...
69,80 € *
ggf. zzgl. Versand

Enterprise workflows and web services may be highly security critical, because they may be in control of important processes of organizations, while communicating with external partners over the network. On the other hand, these technologies frequently represent data as XML documents, which can be modeled as trees. Therefore, this work introduces general methods to enforce and verify information flow properties of computer programs, which are later specialized to tree-manipulating processes. First, the class of programs are considered that implement transformations from initial states into final states. A runtime monitor and a static analysis are introduced for the enforcement and verification of the information flow properties of these programs. Later, a model checking approach is presented, in order to verify systems that exchange a potentially unbounded sequence of data values with their environment during an execution. In all of the methods discussed abstraction techniques are applied to overapproximate the sets of positions of secrets in the tree-shaped data-values before they are released to the environment.

Anbieter: Dodax AT
Stand: 21.01.2020
Zum Angebot
Information Flow Security in Tree-Manipulating ...
67,90 € *
ggf. zzgl. Versand

Enterprise workflows and web services may be highly security critical, because they may be in control of important processes of organizations, while communicating with external partners over the network. On the other hand, these technologies frequently represent data as XML documents, which can be modeled as trees. Therefore, this work introduces general methods to enforce and verify information flow properties of computer programs, which are later specialized to tree-manipulating processes. First, the class of programs are considered that implement transformations from initial states into final states. A runtime monitor and a static analysis are introduced for the enforcement and verification of the information flow properties of these programs. Later, a model checking approach is presented, in order to verify systems that exchange a potentially unbounded sequence of data values with their environment during an execution. In all of the methods discussed abstraction techniques are applied to overapproximate the sets of positions of secrets in the tree-shaped data-values before they are released to the environment.

Anbieter: Dodax
Stand: 21.01.2020
Zum Angebot
Communicating with XML
71,49 € *
ggf. zzgl. Versand

Communicating with XML ab 71.49 € als Taschenbuch: Auflage 2011. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,

Anbieter: hugendubel
Stand: 21.01.2020
Zum Angebot
Communicating with XML
71,49 € *
ggf. zzgl. Versand

Communicating with XML ab 71.49 € als gebundene Ausgabe: Auflage 2011. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,

Anbieter: hugendubel
Stand: 21.01.2020
Zum Angebot
Communicating with XML
71,49 € *
ggf. zzgl. Versand

Communicating with XML ab 71.49 € als pdf eBook: . Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet,

Anbieter: hugendubel
Stand: 21.01.2020
Zum Angebot
Communicating with XML
71,49 € *
ggf. zzgl. Versand

Communicating with XML ab 71.49 EURO Auflage 2011

Anbieter: ebook.de
Stand: 21.01.2020
Zum Angebot
Communicating with XML
71,49 € *
ggf. zzgl. Versand

Communicating with XML ab 71.49 EURO Auflage 2011

Anbieter: ebook.de
Stand: 21.01.2020
Zum Angebot
Communicating with XML
71,49 € *
ggf. zzgl. Versand

Communicating with XML ab 71.49 EURO

Anbieter: ebook.de
Stand: 21.01.2020
Zum Angebot