Formal specification and analysis of cryptographic protocols

Oslo, Univ., Diss., 1995

Formal specification and analysis of cryptographic protocols

von Snekkenes, Einar
Veröffentlicht 1995

Formal specification and analysis of cryptographic protocols

von Snekkenes, Einar
Veröffentlicht 1995

Human Behavior Prediction for Risk Analysis

von Szekeres, Adam
Veröffentlicht in ICCSA (21. : 2021 : Cagliari; Online) Computational science and its applications - ICCSA 2021 ; Part 3 (2021)

Inferring Delay Discounting Factors from Public Observables: Applications in Risk Analysis and the Design of Adaptive Incentives

von Szekeres, Adam
Veröffentlicht in CHIRA (5. : 2021 : Online) CHIRA 2021 (2021)

Representing Decision-Makers in SGAM-H: The Smart Grid Architecture Model Extended with the Human Layer

von Szekeres, Adam
Veröffentlicht in GraMSec (7. : 2020 : Online) Graphical models for security (2020)

Computer security - ESORICS 2003 : 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13 - 15, 2003 ; proceedings

Veröffentlicht 2003

Computer security : proceedings

Veröffentlicht 2003

Computer security : 8th European Symposium on Research in Computer Security ; proceedings

Veröffentlicht 2003

Computer security - ESORICS 2017 : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017 : proceedings

Veröffentlicht 2017

Computer security - ESORICS 2017 : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017 : proceedings

Computer security - ESORICS 2017 : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017 : proceedings

Veröffentlicht 2017

Data-Driven and Artificial Intelligence (AT) Approach for Modelling and Analyzing Healthcare Security Practice: A Systematic Review

von Yeng, Prosper Kandabongee
Veröffentlicht in Intelligent Systems Conference (2020 : Online) Intelligent systems and applications ; Volume 1 (2021)