English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Artikel
Run-time security traceability for evolving systems
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
2011
Journal Article
Title
Run-time security traceability for evolving systems
Author(s)
Bauer, A.
Jürjens, J.
Yu, Y.
Journal
The computer journal
DOI
10.1093/comjnl/bxq042
Language
English
Fraunhofer-Institut für Software- und Systemtechnik ISST
Keyword(s)
runtime verification
monitoring
it security
cryptographic protocol
formal verification
