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žené v:
| Médium: | E-kniha |
|---|---|
| Jazyk: | English |
| Vydavateľské údaje: |
Cuvillier Verlag
2019
|
| ISBN: | 9783736989801, 3736989806 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Buďte prvý, kto okomentuje tento záznam!