@第{zbMATH05125140条，作者={Hofheinz，Dennis和M{“u}ller-Quade，J{”o}rn和Steinwandt，Rainer}，标题={开{标识}-{CCA}加密协议中的安全建模}，FJournal={Tatra Mountains数学出版物}，期刊={Tatra Mount Math.Publ.}，ISSN＝{1210-3195}，体积={33}，页码={83--97}，年份={2006}，语言={英语}，关键词={94A60}，zbMATH={5125140}，Zbl={1174.94359}}