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...
Lecture notes in computer science, 2005, p.256-282
2005
Link zum Volltext

ACM transactions on information and system security, 2010-12, Vol.13 (4), p.1-35
2010
Link zum Volltext



The mixed powerdomain
Theoretical computer science, 1992-09, Vol.103 (2), p.311-334
1992
Link zum Volltext


Lecture notes in computer science, 2006, Vol.4294, p.165-178
2006
Link zum Volltext

Journal of computer security, 2003, Vol.11 (2), p.245-287
2003
Link zum Volltext


2013 IEEE International Conference on Intelligence and Security Informatics, 2013, p.100-105
2013

Conference on Computer and Communications Security: Proceedings of the 2007 ACM workshop on Computer security architecture; 02-02 Nov. 2007, 2007, p.54-62
2007
Link zum Volltext

Bach-Jahrbuch, 2018-03, Vol.70, p.177
2018
Link zum Volltext


Artificial intelligence, 1997-09, Vol.95 (2), p.357-407
1997
Link zum Volltext

Controlled Functional Encryption
Proceedings of the 2014 ACM SIGSAC Conference on computer and communications security, 2014, p.1280-1291
2014
Link zum Volltext


Nonintrusive Load-Shed Verification
IEEE pervasive computing, 2011-01, Vol.10 (1), p.49-57
2011

Formal software engineering
Software engineering notes, 2000-01, Vol.25 (1), p.54
2000
Link zum Volltext

Automated analysis of standard ML
Software engineering notes, 2000-01, Vol.25 (1), p.53
2000
Link zum Volltext

Universal profinite domains
Information and computation, 1987, Vol.72 (1), p.1-30
1987
Link zum Volltext

Electronic notes in theoretical computer science, 2009-03, Vol.234, p.3-18
2009
Link zum Volltext

Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008), 2008, p.174-174
2008


Coherence and consistency in domains
Journal of pure and applied algebra, 1990-02, Vol.63 (1), p.49-66
1990
Link zum Volltext

Generalized certificate revocation
Annual Symposium on Principles of Programming Languages: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages; 19-21 Jan. 2000, 2000, p.316-329
2000
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n