^^PAGEHEADLINE ^^

1. 

   Model checking trace-based information flow properties

   Raghavendra Kagalavadi Ramesh

   LAP Lambert Academic Publishing 06.03.2012 - 2012

   Taschenbuch - Kartoniert

   Nar: - 64 S. PDesc:

   Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

   Information flow properties are a way of specifying security properties of systems. A system is v...

   48,08 €

   2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €

   In den Warenkorb