Media type: E-Book; Doctoral Thesis; Electronic Thesis Title: Advancing automated security protocol verification Contributor: Meier, Simon [Author] imprint: ETH, 2013 Language: English DOI: https://doi.org/20.500.11850/66840; https://doi.org/10.3929/ethz-a-009790675 Keywords: NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME) ; Data processing ; CODING (INFORMATION THEORY) ; computer science ; DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME) ; NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS) ; CODIERUNG (INFORMATIONSTHEORIE) ; DATA SECURITY + DATA PROTECTION (OPERATING SYSTEMS) Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: In Copyright - Non-commercial Use Permitted