Arild B. Torjusen

Publication Activity (10 Years)

Years Active: 2006-2014
Publications (10 Years): 0

Top Topics

Security Problems

Cryptographic Protocols

Intrusion Detection

Top Venues

University of Oslo, Norway (PHD)

Education History

University of Oslo, Norway

PHD

Publications

Arild B. Torjusen, Habtamu Abie, Ebenezer Paintsil, Denis Trcek, Åsmund Skomedal
Towards Run-Time Verification of Adaptive Security for IoT in eHealth. ECSA Workshops (2014)
Olaf Owe, Martin Steffen, Arild B. Torjusen
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. Electron. Notes Theor. Comput. Sci. 264 (3) (2010)
Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen
Executable Interface Specifications for Testing Asynchronous Creol Components. FSEN (2009)
Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
Validating Behavioral Component Interfaces in Rewriting Logic. Fundam. Informaticae 82 (4) (2008)
Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
Validating Behavioral Component Interfaces in Rewriting Logic. Electron. Notes Theor. Comput. Sci. 159 (2006)