• search hit 69 of 141
Back to Result List

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Q. Chen, Robert Rettinger, K. Su, A. Sattar, W. Yue, G. Lu, Xizhong Zheng
Document Type:Article
Language:English
Year of publication:2006
Quelle aus UBICO:Journal of Computer Science and Technology 21(2006)6, S. 932-943, 1000-9000
Faculty/Chair:Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Theoretische Informatik
Institution name at the time of publication:Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Theoretische Informatik
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.