Sortiert nach
2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07), 2007, p.115-115
2007
- Link zum Volltext
Active Networks, 2000, p.277-295
2000
Link zum Volltext
Proceedings of the 2014 ACM SIGSAC Conference on computer and communications security, 2014, p.1182-1192
2014
Link zum Volltext
Proceedings of the 10th ACM Conference on security and privacy in wireless and mobile networks, 2017, p.122-133
2017
Link zum Volltext
Proceedings of the 12th ACM symposium on access control models and technologies, 2007, p.205-214
2007
Link zum Volltext
ACM transactions on information and system security, 2010-12, Vol.13 (4)
2010
Link zum Volltext
Functional Programming Languages and Computer Architecture: Proceedings of the seventh international conference on Functional programming languages and computer architecture; 26-28 June 1995, 1995, p.12-23
1995
Link zum Volltext
Proceedings of the fourth ACM workshop on formal methods in security, 2006, p.45-54
2006
Link zum Volltext
IEEE journal on selected areas in communications, 2009-04, Vol.27 (3), p.249-252
2009
- Link zum Volltext
Annual Symposium on Principles of Programming Languages: Proceedings of the 2005 workshop on Issues in the theory of security; 10-11 Jan. 2005, 2005, p.67-80
2005
Link zum Volltext
IEEE transactions on software engineering, 2002-02, Vol.28 (2), p.129-145
2002
- Link zum Volltext
Information and computation, 1989, Vol.81 (2), p.123-167
1989
Link zum Volltext
Journal of functional programming, 1996-03, Vol.6 (2), p.195-244
1996
Link zum Volltext
Proceedings of the 15th ACM conference on computer and communications security, 2008, p.289-298
2008
Link zum Volltext
2007 IEEE Symposium on Security and Privacy (SP '07), 2007, p.33-50
2007
- Link zum Volltext
LFP, 92: Conference on LISP and Functional Programming, 1992-01, Vol.V (1), p.139-150
1992
Link zum Volltext
2009 42nd Hawaii International Conference on System Sciences, 2009, p.1-11
2009
- Link zum Volltext
2006 IEEE International Conference on Systems, Man and Cybernetics, 2006, Vol.5, p.4268-4275
2006
- Link zum Volltext
Proceedings of the fourth ACM workshop on formal methods in security, 2006, p.1-12
2006
Link zum Volltext
2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML), 2023, p.291-305
2023
Link zum Volltext
International Conference On Embedded Software: Proceedings of the 4th ACM international conference on Embedded software; 27-29 Sept. 2004, 2004, p.211-219
2004
Link zum Volltext
Proceedings of the 2nd ACM workshop on assurable and usable security configuration, 2009, p.29-36
2009
Link zum Volltext
Logic, Rewriting, and Concurrency, 2015, Vol.9200, p.404-426
2015
Link zum Volltext
Trust and Trustworthy Computing, p.202-216
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- EZB Electronic Journals Library
- Ingenta
- De Gruyter eBooks
- JSTOR All Journals
- IngentaConnect Journals
- Wiley Online Library Journals
- NUS Single-Journal Subscriptions
- Wiley Online Library
- Factiva
- Springer Books
- Project MUSE - Single Title Subscriptions
- Journals@Ovid
- Taylor & Francis
- Taylor & Francis Journals Complete
- SpringerLink
- BSC - Ebsco (Business Source Ultimate)
- Project MUSE Journals
- Literature Online (LION)
Zeitschrift / Serie
Neu hinzugefügt