Tun, Thein Than; Yang, Mu; Bandara, Arosha K.; Yu, Yijun; Nhlabatsi, A.; Khan, N.; Khan, K.M.; Nuseibeh, Bashar
(Association for Computing Machinery, 2018)
In an adaptive security-critical system, security mechanisms change
according to the type of threat posed by the environment. Specifying
the behavior of these systems is diicult because conditions
of the environment are ...