ESEMPIO
Milushev, Dimiter Vladimirov:Reasoning about Hyperproperties
- edizione con copertina flessibile 2014, ISBN: 9783639710410
[ED: Taschenbuch / Paperback], [PU: Scholar's Press], The importance of security and reliability of software systems makes formal methods of paramount significance as they can be used to … Altro …
[ED: Taschenbuch / Paperback], [PU: Scholar's Press], The importance of security and reliability of software systems makes formal methods of paramount significance as they can be used to guarantee that a system satisfies a particular security policy. Hyperproperties are an abstract formalization of the security policies, however they lack a generic verification methodology. This thesis makes progress towards such a verification methodology. We first introduce the classes of holistic hyperproperties, which are difficult to reason about. To simplify the reasoning about these, we propose their related incremental variants. We also introduce a framework for reasoning about incremental and holistic hyperproperties based on a technique called coinduction. In addition, we propose a generic verification methodology for incremental hyperproperties based on representing the process of policy checking intuitively as playing a game. This also enables the use of off-the-shelf tools for verification of the respective security policies. The proposed incremental hyperproperties have not only an interesting security application, but also their own theoretical significance, as they are new, more general than the currently known coinductive predicates., DE, [SC: 0.00], Neuware, gewerbliches Angebot, H: 220mm, B: 150mm, 220, Selbstabholung und Barzahlung, PayPal, offene Rechnung, Banküberweisung, Internationaler Versand<
| | booklooker.deSyndikat Buchdienst Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
Dimiter Vladimirov Milushev:Reasoning about Hyperproperties
- edizione con copertina flessibile ISBN: 9783639710410
[ED: Taschenbuch], [PU: SPS], Neuware - The importance of security and reliability of software systems makes formal methods of paramount significance as they can be used to guarantee that… Altro …
[ED: Taschenbuch], [PU: SPS], Neuware - The importance of security and reliability of software systems makes formal methods of paramount significance as they can be used to guarantee that a system satisfies a particular security policy. Hyperproperties are an abstract formalization of the security policies, however they lack a generic verification methodology. This thesis makes progress towards such a verification methodology. We first introduce the classes of holistic hyperproperties, which are difficult to reason about. To simplify the reasoning about these, we propose their related incremental variants. We also introduce a framework for reasoning about incremental and holistic hyperproperties based on a technique called coinduction. In addition, we propose a generic verification methodology for incremental hyperproperties based on representing the process of policy checking intuitively as playing a game. This also enables the use of off-the-shelf tools for verification of the respective security policies. The proposed incremental hyperproperties have not only an interesting security application, but also their own theoretical significance, as they are new, more general than the currently known coinductive predicates., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 220x150x13 mm, 220, [GW: 344g], PayPal, offene Rechnung, Banküberweisung, Internationaler Versand<
| | booklooker.deMein Buchshop Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
Reasoning about Hyperproperties
- nuovo libroISBN: 9783639710410
The importance of security and reliability of software systems makes formal methods of paramount significance as they can be used to guarantee that a system satisfies a particular securit… Altro …
The importance of security and reliability of software systems makes formal methods of paramount significance as they can be used to guarantee that a system satisfies a particular security policy. Hyperproperties are an abstract formalization of the security policies, however they lack a generic verification methodology. This thesis makes progress towards such a verification methodology. We first introduce the classes of holistic hyperproperties, which are difficult to reason about. To simplify the reasoning about these, we propose their related incremental variants. We also introduce a framework for reasoning about incremental and holistic hyperproperties based on a technique called coinduction. In addition, we propose a generic verification methodology for incremental hyperproperties based on representing the process of policy checking intuitively as playing a game. This also enables the use of off-the-shelf tools for verification of the respective security policies. The proposed incremental hyperproperties have not only an interesting security application, but also their own theoretical significance, as they are new, more general than the currently known coinductive predicates. Bücher, Hörbücher & Kalender / Bücher / Sachbuch / Computer & IT, [PU: VDM Verlag Dr. Müller, Saarbrücken]<
| | Dodax.deNr. QBO74KMM3M7. Costi di spedizione:, Lieferzeit: 5 Tage, DE. (EUR 0.00) Details... |
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
Milushev Dimiter Vladimirov:Reasoning about Hyperproperties
- edizione con copertina flessibile ISBN: 9783639710410
Paperback, [PU: Scholars' Press], The importance of security and reliability of software systems makes formal methods of paramount significance as they can be used to guarantee that a sys… Altro …
Paperback, [PU: Scholars' Press], The importance of security and reliability of software systems makes formal methods of paramount significance as they can be used to guarantee that a system satisfies a particular security policy. Hyperproperties are an abstract formalization of the security policies, however they lack a generic verification methodology. This thesis makes progress towards such a verification methodology. We first introduce the classes of holistic hyperproperties, which are difficult to reason about. To simplify the reasoning about these, we propose their related incremental variants. We also introduce a framework for reasoning about incremental and holistic hyperproperties based on a technique called coinduction. In addition, we propose a generic verification methodology for incremental hyperproperties based on representing the process of policy checking intuitively as playing a game. This also enables the use of off-the-shelf tools for verification of the respective security policies. The proposed incremental hyperproperties have not only an interesting security application, but also their own theoretical significance, as they are new, more general than the currently known coinductive predicates., Computing: General<
| | BookDepository.comCosti di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
Milushev, Dimiter Vladimirov:Reasoning about Hyperproperties
- nuovo libro 2014, ISBN: 363971041X
Kartoniert / Broschiert, mit Schutzumschlag neu, [PU:SPS]
| | Achtung-Buecher.deMARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.