Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-50 av 93 << Forrige 1 2    Neste >>

2024
1 Arshad, Hamed; Horne, Ross; Johansen, Christian; Owe, Olaf; Willemse, Tim A.C..
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications[Formula presented]. Science of Computer Programming 2024 ;Volum 232. s. -
NTNU UiO Untitled
 
2023
2 Arshad, Hamed; Picazo Sanchez, Pablo; Johansen, Christian; Schneider, Gerardo.
Attribute-based encryption with enforceable obligations. Journal of Cryptographic Engineering (JCEN) 2023 s. -
UiO NTNU Untitled
 
3 Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof.
Catoids and modal convolution algebras. Algebra Universalis 2023 ;Volum 84.(2) s. -
NTNU Untitled
 
4 Szalkowski, Gabriel Andy; Johansen, Christian.
Defining and measuring the effects of digital technologies on social sustainability: A systematic literature review. Sustainable Development 2023 s. -
NTNU Untitled
 
2022
5 Arshad, Hamed; Horne, Ross; Johansen, Christian; Owe, Olaf; Willemse, Tim A. C..
Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. I: Formal Techniques for Distributed Objects, Components, and Systems. 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings. Springer 2022 ISBN 978-3-031-08679-3. s. 11-30
UiO NTNU Untitled
 
6 Arshad, Hamed; Johansen, Christian; Owe, Olaf.
Semantic Attribute-Based Access Control: A review on current status and future perspectives. Journal of systems architecture 2022 ;Volum 129.
UiO NTNU Untitled
 
7 Arshad, Hamed; Johansen, Christian; Owe, Olaf; Picazo-Sanchez, Pablo; Schneider, Gerardo.
Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies. Information Sciences 2022
UiO NTNU Untitled
 
8 Aubert, Clement; Horne, Ross; Johansen, Christian.
Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. Leibniz International Proceedings in Informatics 2022 ;Volum 30. s. 1-26
NTNU Untitled
 
9 Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof.
A Kleene Theorem for Higher-Dimensional Automata. Leibniz International Proceedings in Informatics 2022 ;Volum 243. s. 1-18
NTNU Untitled
 
10 Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof.
Domain Semirings United. Acta Cybernetica 2022 ;Volum 25.(3) s. 575-583
NTNU Untitled
 
11 Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof.
Posets with interfaces as a model for concurrency. Information and Computation 2022 ;Volum 285. s. -
NTNU Untitled
 
12 Aubert, Clement; Horne, Ross; Johansen, Christian.
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied Pi-Calculus. Electronic Proceedings in Theoretical Computer Science (EPTCS) 2022 ;Volum 368. s. 3-22
NTNU Untitled
 
13 Johansen, Johanna; Pedersen, Tore; Fischer-Hübner, Simone; Johansen, Christian; Schneider, Gerardo; Roosendaal, Arnold; Zwingelberg, Harald; Sivesind, Anders Jakob; Noll, Josef.
A multidisciplinary definition of privacy labels. Information and Computer Security 2022 ;Volum 30.(3) s. 452-469
FORSV UiO ONH NTNU Untitled
 
2021
14 Calk, Cameron; Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof.
lr-Multisemigroups, Modal Quantales and the Origin of Locality. Lecture Notes in Computer Science (LNCS) 2021 ;Volum 13027. s. 90-107
NTNU Untitled
 
15 Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof.
Languages of higher-dimensional automata. Mathematical Structures in Computer Science 2021 ;Volum 31.(5) s. 575-613
NTNU Untitled
 
16 Fahrenberg, Uli; Johansen, Christian; Trotter, Christopher A.; Ziemiański, Krzysztof.
Sculptures in concurrency. Logical Methods in Computer Science 2021 ;Volum 17.(2) s. 1-32
NTNU UiO Untitled
 
17 Johansen, Christian; Aulon, Mujaj; Arshad, Hamed; Noll, Josef.
The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications. Security and Communication Networks 2021 s. -
UiO Untitled
 
18 Johansen, Johanna; Noll, Josef; Johansen, Christian.
InfoInternet for education in the Global South: A study of applications enabled by free information-only internet access in technologically disadvantaged areas. African Journal of Science, Technology, Innovation and Development (AJSTID) 2021 s. 1-14
UiO NTNU Untitled
 
19 Johansen, Johanna; Pedersen, Tore; Johansen, Christian.
Studying human-to-computer bias transference. AI & Society: The Journal of Human-Centred Systems and Machine Intelligence 2021 s. -
UiO ONH NTNU FORSV Untitled
 
20 Luteberget, Bjørnar Steinnes; Claessen, Koen; Johansen, Christian; Steffen, Martin.
SAT modulo discrete event simulation applied to railway design capacity analysis. Formal methods in system design 2021 ;Volum 57. s. 211-245
NTNU UiO SINTEF Untitled
 
21 Luteberget, Bjørnar Steinnes; Johansen, Christian.
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics. Formal Aspects of Computing 2021 ;Volum 33. s. 829-854
SINTEF NTNU Untitled
 
22 ; Fazeldehkordi, Elahe.
Security and Privacy Solutions in IoT and Distributed Systems Design. : Faculty of Mathematics and Natural Sciences, UiO 2021 150 s.
HK UiO NTNU Untitled
 
2020
23 Shrestha, Manish; Johansen, Christian; Noll, Josef; Roverso, Davide.
A Methodology for Security Classification applied to Smart Grid Infrastructures. International Journal of Critical Infrastructure Protection 2020 ;Volum 28. s. -
UiO Untitled
 
24 Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Thapa, Ratan Bahadur.
Generating Posets Beyond N. Lecture Notes in Computer Science (LNCS) 2020 ;Volum 12062. s. 82-99
UiO Untitled
 
25 Shrestha, Manish; Johansen, Christian; Moghadam, Maunya D.; Johansen, Johanna; Noll, Josef.
Tool Support for Security Classification for Internet of Things (long version). Universitetet i Oslo 2020 (ISBN 978-82-7368-460-8) 33 s.
UiO Untitled
 
26 Shrestha, Manish; Johansen, Christian; Noll, Josef.
Building Confidence using Beliefs and Arguments in Security Class Evaluations for IoT. I: International Conference on Fog and Mobile Edge Computing (FMEC). IEEE conference proceedings 2020 ISBN 978-1-7281-7216-3. s. 244-249
NTNU UiO Untitled
 
27 Shrestha, Manish; Johansen, Christian; Noll, Josef.
Building Confidence using Beliefs and Arguments in Security Class Evaluations for IoT (long version). Universitetet i Oslo 2020 (ISBN 978-82-7368-458-5) 22 s.
UiO Untitled
 
28 Shrestha, Manish; Johansen, Christian; Noll, Josef.
Criteria for security classification of smart home energy management systems. Lecture Notes in Electrical Engineering 2020 ;Volum 684. s. 157-165
UiO Untitled
 
29 Tokas, Shukun; Owe, Olaf; Johansen, Christian.
Code Diversification Mechanisms for Internet of Things (Revised Version 2). Oslo: University of Oslo 2020 (ISBN 978-82-7368-438-7) 31 s.
UiO Untitled
 
2019
30 Hildebrandt, Thomas; Johansen, Christian; Norman, Håkon.
A stable non-interleaving early operational semantics for the pi-calculus. Journal of Logical and Algebraic Methods in Programming 2019 ;Volum 104. s. 227-253
UiO Untitled
 
31 Johansen, Christian; Owe, Olaf.
Dynamic Structural Operational Semantics. Journal of Logical and Algebraic Methods in Programming 2019 ;Volum 107. s. 79-107
UiO Untitled
 
32 Johansen, Christian; Owe, Olaf.
Summary of: Dynamic Structural Operational Semantics. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11918. s. 525-528
UiO Untitled
 
33 Luteberget, Bjørnar; Johansen, Christian; Steffen, Martin.
Synthesis of railway signaling layout from local capacity specifications. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11800 LNCS. s. 121-137
UiO Untitled
 
34 Luteberget, Bjørnar Steinnes; Claessen, Koen; Johansen, Christian.
Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11918 LNCS. s. 341-359
UiO Untitled
 
35 Pedersen, Tore; Johansen, Christian.
Behavioural artificial intelligence: an agenda for systematic empirical studies of artificial inference. AI & Society: The Journal of Human-Centred Systems and Machine Intelligence 2019 s. -
UiO ONH Untitled
 
36 Shrestha, Manish; Johansen, Christian; Noll, Josef.
Criteria for Security Classification of Smart Home Energy Management Systems (long version). Universitetet i Oslo 2019 (ISBN 978-82-7368-457-8) 22 s.
UiO Untitled
 
2018
37 Karami, Farzane; Owe, Olaf; Schneider, Gerardo; Johansen, Christian.
The Future Mechanism and Information Flow Security. The 30th Nordic Workshop on Programming Theory, Oslo; 2018-10-24 - 2018-10-26
UiO Untitled
 
38 Noll, Josef; Garitano, Iñaki; Johansen, Christian; Del Ser, Javier; Arenaza-Nuno, Ignacio.
Perspectives in Secure SMART Environments. I: Measurable and Composable Security, Privacy, and Dependability for Cyberphysical Systems : The SHIELD Methodology. CRC Press 2018 ISBN 9781138042759. s. 337-358
UiO Untitled
 
39 Pedersen, Tore; Johansen, Christian; Jøsang, Audun.
Behavioural Computer Science: an agenda for combining modelling of human and system behaviours. Human-centric Computing and Information Sciences 2018 ;Volum 8:7. s. -
ONH FORSV UiO Untitled
 
2017
40 Bursuc, Sergiu; Johansen, Christian; Xu, Shiwei.
Automated verification of dynamic root of trust protocols. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10204 LNCS. s. 95-116
UiO Untitled
 
41 Hildebrandt, Thomas; Johansen, Christian; Normann, Håkon.
A stable non-interleaving early operational semantics for the Pi-calculus. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10168 LNCS. s. 51-63
UiO Untitled
 
42 Johansen, Christian; Mujaj, Aulon; Arshad, Hamed; Noll, Josef.
Comparing Implementations of Secure Messaging Protocols (long version). Universitetet i Oslo 2017 (ISBN 978-82-7368-440-0) 62 s.
UiO Untitled
 
43 Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian; Schneider, Gerardo.
Participatory verification of railway infrastructure by representing regulations in RailCNL. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10469 LNCS. s. 87-103
UiO Untitled
 
44 Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian; Schneider, Gerardo.
Participatory Verification of Railway Infrastructure Regulations using RailCNL (long version). Oslo: Universitetet i Oslo 2017 (ISBN 978-82-7368-430-1) 33 s.
UiO Untitled
 
45 Luteberget, Bjørnar Steinnes; Johansen, Christian.
Efficient verification of railway infrastructure designs against standard regulations. Formal methods in system design 2017 ;Volum 52.(1) s. 1-32
UiO Untitled
 
46 Pedersen, Tore; Johansen, Christian; Jøsang, Audun.
Intelligence Analysis: Reflections on the Future Human - Machine Analytic Enterprise from a Behavioral Computer Science Perspective. AF Security Seminar Series; 2017-06-16 - 2017-06-16
UiO Untitled
 
47 Shrestha, Manish; Johansen, Christian; Noll, Josef.
Security Classification for Smart Grid Infra structures (long version). Universitetet i Oslo 2017 (ISBN 978-82-7368-441-7) 44 s.
UiO Untitled
 
48 Tokas, Shukun; Owe, Olaf; Johansen, Christian.
Code Diversification Mechanisms for Securing the Internet of Things. 29th Nordic Workshop on Programming Theory (NWPT'17); 2017-11-01 - 2017-11-03
UiO Untitled
 
49 Tokas, Shukun; Owe, Olaf; Johansen, Christian.
Code Diversification Mechanisms for Securing the Internet of Things. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. s. 10-12
UiO Untitled
 
2016
50 Johansen, Christian.
ST-structures. Journal of Logical and Algebraic Methods in Programming 2016 ;Volum 85.(6) s. 1201-1233
UiO Untitled
 
    Vis neste liste