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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Discrete event dynamic systems, 2008-03, Vol.18 (1), p.111-159
2008
Volltextzugriff (PDF)

Journal of computer and system sciences, 2018-06, Vol.94, p.63-97
2018
Volltextzugriff (PDF)

Journal of computer security, 2015-12, Vol.23 (6), p.759-787
2015
Volltextzugriff (PDF)

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, 2004, p.84-101
2004
Volltextzugriff (PDF)

Proceedings of the 9th annual ACM workshop on Privacy in the electronic society, 2010, p.73-82
2010
Volltextzugriff (PDF)

2009 30th IEEE Symposium on Security and Privacy, 2009, p.221-236
2009
Volltextzugriff (PDF)


Electronic notes in theoretical computer science, 2011-09, Vol.276, p.61-79
2011
Volltextzugriff (PDF)

The Theory of Timed I/O Automata
Synthesis lectures on computer science, 2006, Vol.1 (1), p.1-114
2006
Volltextzugriff (PDF)

2015 IEEE 28th Computer Security Foundations Symposium, 2015, p.261-275
2015
Volltextzugriff (PDF)


Synthesis lectures on distributed computing theory, 2010-01, Vol.1 (1), p.1-137
2010
Volltextzugriff (PDF)



Open Access
Compositional Security for Task-PIOAs
20th IEEE Computer Security Foundations Symposium (CSF'07), 2007, p.125-139
2007
Volltextzugriff (PDF)

Formal Modeling and Analysis of Timed Systems, 2005, p.17-31
2005
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2010-09, Vol.265, p.49-71
2010
Volltextzugriff (PDF)


2006 8th International Workshop on Discrete Event Systems, 2006, p.207-214
2006
Volltextzugriff (PDF)


IEEE security & privacy, 2011-05, Vol.9 (3), p.26-32
2011
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen