Search results for: Inger Anne Tøndel
Concurrency and Computation: Practice and Experience > 33 > 18 > n/a - n/a
Applied Computing and Informatics > 2018 > 14 > 1 > 17-27
Lecture Notes in Computer Science > Engineering Secure Software and Systems > Session 3. Policy Verification and Enforcement I > 114-122
Lecture Notes in Computer Science > Information and Communications Security > Session 2D. Software Security > 355-366
International Journal of Critical Infrastructure Protection > 2016 > 12 > C > 12-26
IEEE Security & Privacy > 2015 > 13 > 6 > 38 - 43
Computers & Security > 2014 > 45 > Complete > 42-57
International Journal of Critical Infrastructure Protection > 2009 > 2 > 1-2 > 26-37