Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Journal of automated reasoning, 2011-04, Vol.46 (3-4), p.353-388
2011
Volltextzugriff (PDF)
Proceedings of the Third international conference on Engineering secure software and systems, 2011, p.29-42
2011
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, 2012, p.267-282
- Armando, Alessandro
- Arsac, Wihem
- Avanesov, Tigran
- Barletta, Michele
- Calvi, Alberto
- Cappai, Alessandro
- Carbone, Roberto
- Chevalier, Yannick
- Compagna, Luca
- Cuéllar, Jorge
- Erzse, Gabriel
- Frau, Simone
- Minea, Marius
- Mödersheim, Sebastian
- von Oheimb, David
- Pellegrino, Giancarlo
- Ponta, Serena Elisa
- Rocchetto, Marco
- Rusinowitch, Michael
- Torabi Dashti, Mohammad
- Turuani, Mathieu
- Viganò, Luca
- Flanagan, Cormac
- König, Barbara
2012
Volltextzugriff (PDF)
Engineering Secure Software and Systems, 2011, p.29-42
2011
Volltextzugriff (PDF)
Data Privacy Management and Autonomous Spontaneous Security, 2013, p.303-317
2013
Volltextzugriff (PDF)
Security Protocols XVII, 2013, Vol.7028, p.41-47
2013
Volltextzugriff (PDF)
Foundations and Applications of Security Analysis, 2009, Vol.5511, p.34-51
2009
Volltextzugriff (PDF)
Proceedings of the 16th ACM symposium on Access control models and technologies, 2011, p.143-144
2011
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Model Check
- Security Protocol
- Computer Science, Software Engineering
- Threat Model
- Access Control Policy
- Application Software
- Artificial Intelligence
- Attack Trace
- Attacker Models
- Authentifikation
- Automated Reasoning
- Business Process
- Business Process Management
- Business Process Modeling Notation
- Cambridge
- Checkers
Kollektion
Zeitschrift / Serie