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 68 << Forrige 1 2    Neste >>

2020
1 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. 100342-
UiO Untitled
 
2 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
 
3 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
 
4 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
5 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
 
6 Johansen, Christian; Owe, Olaf.
Dynamic Structural Operational Semantics. Journal of Logical and Algebraic Methods in Programming 2019 ;Volum 107. s. 79-107
UiO Untitled
 
7 Johansen, Christian; Owe, Olaf.
Summary of: Dynamic Structural Operational Semantics. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11918. s. 525-528
UiO Untitled
 
8 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
 
9 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
 
10 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. -
BJORKNES UiO Untitled
 
11 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
12 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
 
13 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
 
14 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. -
BJORKNES FORSV UiO Untitled
 
2017
15 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
 
16 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
 
17 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
 
18 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
 
19 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
 
20 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
 
21 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
 
22 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
 
23 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
 
24 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
25 Johansen, Christian.
ST-structures. Journal of Logical and Algebraic Methods in Programming 2016 ;Volum 85.(6) s. 1201-1233
UiO Untitled
 
26 Johansen, Christian; Jøsang, Audun; Migdal, Denis.
Offpad: Offline personal authenticating device: implementations and applications. Department of Informatics: University of Oslo 2016 (ISBN 978-82-7368-419-6) 54 s.
UiO Untitled
 
27 Johansen, Christian; Jøsang, Audun; Migdal, Denis.
Usable Authentication with an Offline Trusted Device Proxy Architecture (long version). Department of Informatics: University of Oslo 2016 (ISBN 978-82-7368-418-9) 27 s.
UiO Untitled
 
28 Johansen, Christian; Norman, Håkon; Hildebrandt, Thomas.
Non-interleaving Operational Semantics for the Pi-calculus -- technicalities. Universitetet i Oslo 2016 (ISBN 978-82-7368-416-5) 34 s.
UiO Untitled
 
29 Johansen, Christian; Pedersen, Tore; Jøsang, Audun.
Reflections on Behavioural Computer Science. Oslo: Universitetet i Oslo 2016 (ISBN 978-82-7368-417-2) 23 s.
FORSV UiO Untitled
 
30 Johansen, Christian; Pedersen, Tore; Jøsang, Audun.
Towards Behavioural Computer Science. IFIP Advances in Information and Communication Technology 2016 ;Volum 473. s. 154-163
FORSV UiO Untitled
 
31 Luteberget, Bjørnar Steinnes; Johansen, Christian; Feyling, C; Steffen, Martin.
Rule-based incremental verification tools applied to railway designs and regulations. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9995 LNCS. s. 772-778
UiO Untitled
 
32 Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin.
Rule-Based Consistency Checking of Railway Infrastructure Designs. Universitetet i Oslo 2016 31 s. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(450)
UiO Untitled
 
33 Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin.
Rule-based consistency checking of railway infrastructure designs. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9681. s. 491-507
UiO Untitled
 
34 Migdal, Denis; Johansen, Christian; Jøsang, Audun.
DEMO: OffPAD - Offline Personal Authenticating Device with Applications in Hospitals and e-Banking. I: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM) 2016 ISBN 978-1-4503-4139-4. s. 1847-1849
UiO Untitled
 
35 Normann, Håkon; Johansen, Christian; Hildebrandt, Thomas.
Declarative event based models of concurrency and refinement in psi-calculi. Journal of Logical and Algebraic Methods in Programming 2016 ;Volum 85.(3) s. 368-398
UiO Untitled
 
2015
36 Johansen, Christian; Jøsang, Audun.
Probabilistic Modeling of Humans in Security Ceremonies. I: Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance: 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers. Springer Publishing Company 2015 ISBN 978-3-319-17016-9. s. -
UiO Untitled
 
37 Johansen, Christian; Jøsang, Audun.
Probabilistic modelling of humans in security ceremonies. Lecture Notes in Computer Science (LNCS) 2015 ;Volum 8872. s. 277-292
UiO Untitled
 
38 Taherkordi, Amirhosein; Johansen, Christian; Eliassen, Frank; Römer, Kay.
Tokenit: Designing State-Driven Embedded Systems through Tokenized Transitions. I: Distributed Computing in Sensor Systems (DCOSS). IEEE 2015 ISBN 978-1-4799-8856-3. s. 52-61
UiO Untitled
 
2014
39 Johansen, Christian.
Actor network procedures as Psi-calculi for security ceremonies. Electronic Proceedings in Theoretical Computer Science 2014 ;Volum 148. s. 63-77
UiO Untitled
 
40 Normann, Håkon; Johansen, Christian; Hildebrandt, Thomas.
Concurrency models with causality and events as psi-calculi. Electronic Proceedings in Theoretical Computer Science 2014 ;Volum 166. s. 4-20
UiO Untitled
 
2013
41 Aceto, Luca; Ingolfsdottir, Anna; Prisacariu, Cristian; Sack, Joshua.
Compositional Reasoning for Multi-modal Logics. I: Symposium on Logical Foundations of Computer Science (LFCS13). Springer 2013 ISBN 978-3-642-35721-3. s. 1-15
UiO Untitled
 
2012
42 Johansen, Christian; Owe, Olaf.
Dynamic Structural Operational Semantics (preliminary version). Universitetet i Oslo 2012 38 s.
UiO Untitled
 
43 Prisacariu, Cristian.
The Glory of the Past and Geometrical Concurrency. The Alan Turing Centenary Conference (Turing-100); 2012-06-18
UiO Untitled
 
44 Prisacariu, Cristian.
The Glory of the Past and Geometrical Concurrency. EasyChair Proceedings in Computing 2012 ;Volum 10. s. 252-267
UiO Untitled
 
45 Prisacariu, Cristian; Schneider, Gerardo.
A dynamic deontic logic for complex contracts. Journal of Logic and Algebraic Programming 2012 ;Volum 81.(4) s. 458-490
UiO Untitled
 
2010
46 Prisacariu, Cristian.
A Dynamic Deontic Logic over Synchronous Actions. Unipub forlag 2010 153 s.
UiO Untitled
 
47 Prisacariu, Cristian.
Modal Logic over Higher Dimensional Automata. Lecture Notes in Computer Science (LNCS) 2010 ;Volum 6269. s. 494-508
UiO Untitled
 
48 Prisacariu, Cristian.
Modal Logic over Higher Dimensional Automata. I: 21st International Conference on Concurrency Theory (CONCUR10). Springer 2010 ISBN 978-3-642-02260-9. s. 494-508
UiO Untitled
 
49 Prisacariu, Cristian.
Modal Logic over Higher Dimensional Automata - technicalities. : University of Oslo 2010 44 s.
UiO Untitled
 
50 Prisacariu, Cristian.
Synchronous Kleene algebra. Journal of Logic and Algebraic Programming 2010 ;Volum 79.(7) s. 608-635
UiO Untitled
 
    Vis neste liste