^^PAGEHEADLINE ^^

Ansicht:

Sortieren nach:

Pro Seite:

Model checking trace-based information flow properties

Raghavendra Kagalavadi Ramesh

LAP Lambert Academic Publishing 06.03.2012 - 2012
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 €