Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Amthor, Peter"'
Autor:
Amthor, Peter
Security-critical system requirements are increasingly enforced through mandatory access control systems. These systems are controlled by security policies, highly sensitive system components, which emphasizes the paramount importance of formally ver
Externí odkaz:
http://arxiv.org/abs/1706.03536
Publikováno v:
In Computers & Security May 2014 42:40-55
Publikováno v:
Magnetic Resonance in Medicine
Autor:
Amthor, Peter
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 po
Autor:
Amthor, Peter
Publikováno v:
E-Business & Telecommunications (9783319302218); 2016, p270-292, 23p
Autor:
Amthor, Peter, Kuhnhauser, Winfried E.
Publikováno v:
2015 IEEE World Congress on Services; 2015, p189-197, 9p