Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- verification 30 Treffer
- formal methods 18 Treffer
- symbolic model 12 Treffer
- composition 9 Treffer
- cryptographic protocol 7 Treffer
-
45 weitere Werte:
- [info.info-mo]computer science [cs]/modeling and simulation 6 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 6 Treffer
- [info]computer science [cs] 6 Treffer
- computer science 6 Treffer
- cryptography 6 Treffer
- formal verification 6 Treffer
- theoretical computer science 6 Treffer
- 01 natural sciences 5 Treffer
- 0102 computer and information sciences 5 Treffer
- 010201 computation theory & mathematics 5 Treffer
- abstraction 5 Treffer
- algebraic properties 5 Treffer
- model-checking 5 Treffer
- regular languages 5 Treffer
- survey 5 Treffer
- 02 engineering and technology 4 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 4 Treffer
- cryptographie 4 Treffer
- equational theories 4 Treffer
- methodes formelles 4 Treffer
- observational equivalence 4 Treffer
- privacy 4 Treffer
- trace equivalence 4 Treffer
- vie privee 4 Treffer
- 16. peace & justice 3 Treffer
- business 3 Treffer
- business.industry 3 Treffer
- cryptographic primitive 3 Treffer
- decidability 3 Treffer
- general computer science 3 Treffer
- secrecy 3 Treffer
- software 3 Treffer
- [info.info-cr] computer science [cs]/cryptography and security [cs.cr] 2 Treffer
- 020206 networking & telecommunications 2 Treffer
- anonymity 2 Treffer
- class (computer programming) 2 Treffer
- computer science - cryptography and security 2 Treffer
- computer science::cryptography and security 2 Treffer
- cryptography and security (cs.cr) 2 Treffer
- fos: computer and information sciences 2 Treffer
- hardware and architecture 2 Treffer
- protocol (science) 2 Treffer
- universal composability 2 Treffer
- [info.info-mo] computer science [cs]/modeling and simulation 1 Treffer
- [info.info-se] computer science [cs]/software engineering [cs.se] 1 Treffer
Verlag
Publikation
Sprache
Geographischer Bezug
19 Treffer
-
In: ISSN: 1529-3785, 2020Online academicJournalZugriff:
-
In: ISSN: 0926-227X, 2019Online academicJournalZugriff:
-
In: ISSN: 1236-6064 ; Nordic Journal of Computing ; https://inria.hal.science/inria-00429345 ; Nordic Journal of Computing, 2008, 14, pp.216-241, 2008Online academicJournalZugriff:
-
In: https://inria.hal.science/inria-00379776 ; [Research Report] RR-6912, INRIA. 2009, pp.42, 2009Online reportZugriff:
-
In: https://theses.hal.science/tel-01534145 ; Cryptography and Security [cs.CR]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLN019⟩, 2017Online HochschulschriftZugriff:
-
In: Formal Methods in System Design, Jg. 34 (2008-10-30), S. 1-36Online unknownZugriff:
-
2014Online unknownZugriff:
-
In: 22nd IEEE Computer Security Foundations Symposium - CSF'09 ; https://inria.hal.science/inria-00426622 ; 22nd IEEE Computer Security Foundations Symposium - CSF'09, Jul 2009, Port Jefferson, United States. pp.266-276, 2009KonferenzZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-01090766 ; Logical Methods in Computer Science, 2014, 2014academicJournalZugriff:
-
In: Electronic Notes in Theoretical Computer Science ; 9th International Workshop on Verification of Infinite-State Systems - INFINITY'07 ; https://inria.hal.science/inria-00429356 ; 9th International Workshop on Verification of Infinite-State Systems - INFINITY'07, 2007, Lisbonnes, Portugal. pp.57-72, 2007KonferenzZugriff:
-
In: ISSN: 0168-7433, 2012academicJournalZugriff:
-
In: ISSN: 0925-9856, 2009academicJournalZugriff: