Run-time security traceability for evolving systems /
Saved in:
| Main Author: | Bauer, Andreas. |
|---|---|
| Other Authors: | Jurjens, Jan., Yu, Yijun. |
| Format: | Article |
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institutions: | Thư viện Trường Đại học Đà Lạt |
|---|
Similar Items
-
A secure key establishment protocol for zigbee wireless sensor networks /
by: Yuksel, Ender. -
Formal Methods for Industrial Critical Systems:
20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
by: Núñez, Manuel, et al.
Published: (2015) - Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL / Theorem proving
-
Closing a system in the dynamic input/output automata model /
by: Kapus, Tatjana. -
"3+3 process" for safety critical software for I&C system in nuclear power plants /
by: Jung, Jae-Cheon.