Sortiert nach
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019, p.2585-2587
2019
Link zum Volltext
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE), 2022, p.91-101
2022
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Theory & Methods
- Science & Technology
- Security And Privacy -- Formal Methods And Theory Of Security -- Formal Security Models
- Technology
- Automated Software Development
- Codes
- Computer Science, Information Systems
- Computer Science, Software Engineering
- Cryptography
- Formal Languages
- Formal Security Models
- Knowledge Engineering
- Networks -- Network Protocols -- Network Protocol Design
- Networks→network Protocol Design
- Protocol Design
- Protocols
- Security And Privacy -- Cryptography
- Security And Privacy -- Formal Methods And Theory Of Security -- Logic And Verification
- Security And Privacy -- Network Security -- Security Protocols
Kollektion