Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Journal of computer security, 2015-12, Vol.23 (6), p.685-707
2015
Link zum Volltext

IEEE transactions on dependable and secure computing, 2021-07, Vol.18 (4), p.1836-1849
2021

Science of computer programming, 2015-11, Vol.111, p.213-213
2015
Link zum Volltext

Open Access
A CSP Account of Event-B Refinement
Electronic proceedings in theoretical computer science, 2011-06, Vol.55 (Proc. Refine 2011), p.139-154
2011
Link zum Volltext

IEEE transactions on information forensics and security, 2020, Vol.15, p.223-236
2020

Computers & security, 2009-07, Vol.28 (5), p.310-324
2009
Link zum Volltext


Formal aspects of computing, 2014-03, Vol.26 (2), p.251-280
2014
Link zum Volltext

Lecture notes in computer science, 2005, p.118-139
2005
Link zum Volltext

Formal aspects of computing, 2014, Vol.26 (1), p.37-62
2014
Link zum Volltext

Formal aspects of computing, 2016-11, Vol.28 (6), p.909-935
2016
Link zum Volltext

IEEE transactions on information forensics and security, 2009-12, Vol.4 (4), p.662-673
2009

Formal aspects of computing, 2014, Vol.26 (1), p.63-98
2014
Link zum Volltext

Formal aspects of computing, 2020-07, Vol.32 (2-3), p.251-273
2020
Link zum Volltext




Formal aspects of computing, 2005-12, Vol.17 (4), p.390-422
2005
Link zum Volltext

Information Security and Cryptology, 2005, p.63-74
2005
Link zum Volltext

Journal of computer security, 2005-01, Vol.13 (2), p.317-344
2005
Link zum Volltext


2014 IEEE 27th Computer Security Foundations Symposium, 2014, p.169-183
2014
Link zum Volltext

Smart Card Research and Advanced Applications, p.152-167
Link zum Volltext

International journal of information security, 2007-03, Vol.6 (2-3), p.183-196
2007
Link zum Volltext

Aktive Filter
KollektionIngentaConnect Journals
ThemaLife Sciences & Biomedicine
ThemaSoftware Engineering
ThemaScience & Technology
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt