Automated Verification of Dynamic Access Control Policies

Lieferzeit: Lieferbar innerhalb 14 Tagen

68,00 €

Modelling and verifying dynamic access control policies using knowledge-based model checking

ISBN: 3659273945
ISBN 13: 9783659273940
Autor: Qunoo, Hasan N
Verlag: LAP Lambert Academic Publishing
Umfang: 192 S.
Erscheinungsdatum: 19.11.2012
Auflage: 1/2012
Format: 1.1 x 22 x 15
Gewicht: 302 g
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4188222 Kategorie:

Beschreibung

Herstellerkennzeichnung:


BoD - Books on Demand
In de Tarpen 42
22848 Norderstedt
DE

E-Mail: info@bod.de

Das könnte Ihnen auch gefallen …