Aspect-oriented Security Engineering A Model-based Approach
Engineering secure systems is an error-prone process, where any decision margin potentially favors critical implementation faults. To this end, formal security models serve as an abstract basis for verifying security properties. Unfortunately, the potential for human error in engineering and analyzi...
Uloženo v:
| Médium: | E-kniha |
|---|---|
| Jazyk: | angličtina |
| Vydáno: |
Cuvillier Verlag
2019
|
| ISBN: | 9783736989801, 3736989806 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Buďte první, kdo okomentuje tento záznam!