马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯切德罗夫 协作系统中的有限内存Dolev-Yao对手。 (英语) Zbl 1360.68860号 Inf.计算。 238233-261(2014).MSC公司:68T42型 68个M12 2017年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanovich}等人,《信息计算》。238233--261(2014年;Zbl 1360.68860) 全文: DOI程序
维罗尼克·科尔蒂尔;格雷厄姆·斯蒂尔 用于加密设备上对称密钥管理的通用安全API。 (英语) Zbl 1435.68048号 Inf.计算。 238, 208-232 (2014).MSC公司:64岁以下 68平方米25 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}和\textit{G.Steel},Inf.Compute。238208--232(2014年;Zbl 1435.68048) 全文: DOI程序
克拉拉·贝托利西;玛丽贝尔·费尔南德斯 分布式环境访问控制的元模型:应用程序和属性。 (英语) Zbl 1360.68206号 Inf.计算。 238, 187-207 (2014).MSC公司:64岁以下 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Bertolissi}和\textit{M.Fernández},Inf.Comput。238187-207(2014年;Zbl 1360.68206) 全文: DOI程序
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥,索尼娅 Maude-NRL协议分析器中的状态空间缩减。 (英语) Zbl 1360.94307号 Inf.计算。 238, 157-186 (2014).MSC公司:94A60型 68个M12 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人,《信息计算》。238157--186(2014年;Zbl 1360.94307) 全文: DOI程序 链接
刘志强;克里斯托弗·林奇 高效的通用AGH统一。 (英语) 兹比尔1360.94321 Inf.计算。 238, 128-156 (2014).MSC公司:94A60型 68个M12 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Liu}和\textit{C.Lynch},Inf.Comput。238128--156(2014年;Zbl 1360.94321) 全文: DOI程序
塞尔吉·布尔苏克;休伯特·科蒙·隆德;斯特凡尼德劳恩 可推导性约束和盲签名。 (英语) Zbl 1360.94298号 Inf.计算。 238, 106-127 (2014).MSC公司:94A60型 68个M12 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bursuc}等人,《信息计算》。238106-127(2014年;Zbl 1360.94298) 全文: DOI程序
萨拉·卡佩基;伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini 在会话中键入访问控制和安全信息流。 (英语) Zbl 1360.68207号 Inf.计算。 238, 68-105 (2014).MSC公司:64岁以下 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{S.Capecchi}等人,《信息计算》。238、68——105(2014年;Zbl 1360.68207) 全文: DOI程序
马蒂尔德·阿尔诺;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 建模和验证即席路由协议。 (英语) Zbl 1360.68199号 Inf.计算。 238, 30-67 (2014).MSC公司:68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Arnaud}等人,《信息计算》。238,30-67(2014年;兹比尔1360.68199) 全文: DOI程序
贝诺·格罗兹;Sławomir斯塔奥维;石蜡、石蜡;罗斯、伊夫斯;苏菲·蒂森 XML安全视图的静态分析和查询重写。 (英语) Zbl 1360.68396号 Inf.计算。 238, 2-29 (2014).MSC公司:第68页,共15页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Groz}等人,《信息计算》。238、2--29(2014年;Zbl 1360.68396) 全文: DOI程序
史蒂夫·克莱默(编辑);巴利亚特·纳伦德兰(编辑) 安全和重写技术专题的前言。 (英语) 兹比尔1298.00313 Inf.计算。 238, 1 (2014).MSC公司:00B25型 68-06 68第25页 2012年第68季度 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kremer}(编辑)和\textit{P.Narendran}(主编),Inf.Compute。2381(2014;Zbl 1298.00313) 全文: DOI程序