Instantiation Space: A New Model for Security Protocol Logic
Author: | Q. Chen, K. Su, W. Yue, Xizhong Zheng |
---|---|
Document Type: | Article |
Language: | English |
Year of publication: | 2006 |
Quelle aus UBICO: | Chinese Journal of Computers 29(2006)9, S. 1657-1665, 0254-4164 |
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 |