Sortiert nach
IEEE transactions on dependable and secure computing, 2021-07, Vol.18 (4), p.1836-1849
2021
- Link zum Volltext
Science of computer programming, 2015-11, Vol.111, p.213-213
2015
Link zum Volltext
Formal aspects of computing, 2022-07, Vol.34 (1), p.1-39
2022
Link zum Volltext
Formal aspects of computing, 2014-03, Vol.26 (2), p.251-280
2014
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
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
Science of computer programming, 2014-12, Vol.96, p.315-336
2014
Link zum Volltext
Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger
2020
- Link zum Volltext
Formal aspects of computing, 2005-12, Vol.17 (4), p.390-422
2005
Link zum Volltext
International journal of information security, 2007-03, Vol.6 (2-3), p.183-196
2007
Link zum Volltext
Concurrency and computation, 2010-06, Vol.22 (8), p.949-964
2010
Link zum Volltext
Integrated Formal Methods, p.260-274
Link zum Volltext
Integrated Formal Methods, p.221-237
Link zum Volltext
Formal Methods and Software Engineering, p.33-48
Link zum Volltext
Formal Methods and Software Engineering, p.371-387
Link zum Volltext
Science of computer programming, 1997, Vol.28 (1), p.43-90
1997
Link zum Volltext
Formal aspects of computing, 2006-09, Vol.18 (3), p.308-328
2006
Link zum Volltext
International journal of information security, 2007-03, Vol.6 (2-3), p.65-66
2007
Link zum Volltext
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 2000, p.255-268
2000
- Link zum Volltext
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 2000, p.132-143
2000
- Link zum Volltext
IEEE security & privacy, 2016-07, Vol.14 (4), p.64-73
2016
- Link zum Volltext
IEEE security & privacy, 2015-05, Vol.13 (3), p.59-62
2015
- Link zum Volltext
IEEE security & privacy, 2017, Vol.15 (3), p.12-13
2017
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Information Systems
- Cryptography
- Algebra
- Math Applications In Computer Science
- Theory Of Computation
- Computer Science, Hardware & Architecture
- Csp
- Event-B
- Original Article
- Privacy
- Refinement
- Electronic Voting
- Formal Methods
- Formal Modelling
- Model Check
Kollektion
- IngentaConnect
- EZB Free E-Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- Springer Nature - Complete Springer Journals
- IEEE Xplore
- SpringerLink Series
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- Wiley Online Library All Journals
- Oxford Journals Current Collection
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Formal Aspects Of Computing
- Ieee Security & Privacy
- Science Of Computer Programming
- International Journal Of Information Security
- Acm Transactions On Internet Technology
- Computer Journal
- Concurrency And Computation
- Ieee Transactions On Dependable And Secure Computing
- Journal Of Network And Computer Applications