Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Run-time security traceability for evolving systems

 
: Bauer, A.; Jürjens, J.; Yu, Y.

:

The computer journal 54 (2011), No.1, pp.58-87
ISSN: 0010-4620 (Print)
ISSN: 1460-2067 (Online)
English
Journal Article
Fraunhofer ISST ()
runtime verification; monitoring; it security; cryptographic protocol; formal verification

: http://publica.fraunhofer.de/documents/N-148594.html