杰里·登·哈托格 密码学算法的机械化正确性证明:概率霍尔逻辑的公理化。 (英语) Zbl 1159.68022号 科学。计算。程序。 74,编号1-2,52-63(2008).MSC公司:60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.den Hartog},科学。计算。程序。74,编号1--2,52-63(2008;Zbl 1159.68022) 全文: DOI程序
朱利安,带来者;赫维夏班内;布鲁诺·金达尔吉 两全其美:将安全草图应用于可取消的生物特征。 (英语) Zbl 1162.68600号 科学。计算。程序。 74,编号1-2,43-51(2008).MSC公司:68吨10 PDF格式BibTeX公司 XML格式引用 \textit{J.Bringer}等人,科学。计算。程序。74,编号1--2,43-51(2008;Zbl 1162.68600) 全文: DOI程序
阿特雷夫斯达尔;凯蒂尔·斯特伦 扩展UML序列图以建模信任相关行为,以支持风险分析。 (英语) Zbl 1162.68355号 科学。计算。程序。 74,编号1-2,34-42(2008).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{A.Refsdal}和\textit{K.Stölen},科学。计算。程序。74,编号1--2,34-42(2008;Zbl 1162.68355) 全文: DOI程序
谢勒肯斯,德里;布莱希特·怀瑟;普伦尼尔,巴特 在具有可信平台模块的遗留操作系统上进行远程认证。 (英语) Zbl 1181.68098号 科学。计算。程序。 74,编号1-2,13-22(2008).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Schellekens}等人,科学。计算。程序。74,编号1--2,13-22(2008;Zbl 1181.68098) 全文: DOI程序 链接
艾伦·阿克图格;卡齐亚琳娜·纳柳卡 ConSpec—一种用于策略规范的正式语言。 (英语) 兹比尔1160.68397 科学。计算。程序。 74,编号1-2,2-12(2008).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Aktug}和\textit{K.Naliuka},科学。计算。程序。74,编号1--2,2--12(2008;Zbl 1160.68397) 全文: DOI程序