期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
密码协议的一种基于组合推理的模型验证 被引量:2
1
作者 刘怡文 李伟琴 冯登国 《通信学报》 EI CSCD 北大核心 2003年第9期122-127,共6页
将密码协议与协议中用到的密码算法视为一个系统,基于组合推理技术建立了密码协议系统的形式化模型。采用基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的正确性,实现了密码协议系统的模型... 将密码协议与协议中用到的密码算法视为一个系统,基于组合推理技术建立了密码协议系统的形式化模型。采用基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的正确性,实现了密码协议系统的模型验证,并重点解决了系统分解问题、假设函数的设定问题等难题。以kerberos v5密码协议系统为例,利用该组合推理技术对密码协议系统进行了安全验证。 展开更多
关键词 密码协议 形式化模型 组合推理 模型检查
在线阅读 下载PDF
简讯
2
《西安电子科技大学学报》 EI CAS CSCD 北大核心 2011年第1期53-53,共1页
英国德蒙特福德大学计算机科学技术学院软件技术实验室高级研究员B.C.Moszkowski教授日前来校讲学访问.来访期间,B.C.Moszkowski教授分别作了题为“用时间倒序转换时序逻辑”、“使用itl和tempura进行组合推理”、“无穷模型下的... 英国德蒙特福德大学计算机科学技术学院软件技术实验室高级研究员B.C.Moszkowski教授日前来校讲学访问.来访期间,B.C.Moszkowski教授分别作了题为“用时间倒序转换时序逻辑”、“使用itl和tempura进行组合推理”、“无穷模型下的命题区间时序逻辑的完全公理系统”、“使用时序逻辑分析时序逻辑,基于时序逻辑的分层方法”的专题讲座,并与学校师生就相关问题进行了深入交流. 展开更多
关键词 区间时序逻辑 计算机科学技术 软件技术 组合推理 公理系统 逻辑分析 专题讲座 分层方法
在线阅读 下载PDF
Pythagoras Theorem Combinatorial Number Setand Generalization
3
作者 郝稚传 《Chinese Quarterly Journal of Mathematics》 CSCD 2002年第3期78-83,共6页
WegetPythagorasTheoremontwocombinatoiralnumbersets.If 32 +42 =52 ;62 +82 + 2 4 2 =2 62 thenwehave (ⅰ )and (ⅱ ) : (ⅰ )Ifnisanoddthen ∑[(n+ 3 ) / 2 ] t=0 n+ 3 -t t 2 -∑[(n+ 1 ) / 2 ] t=0 n+ 1 -t t 2 2 +... WegetPythagorasTheoremontwocombinatoiralnumbersets.If 32 +42 =52 ;62 +82 + 2 4 2 =2 62 thenwehave (ⅰ )and (ⅱ ) : (ⅰ )Ifnisanoddthen ∑[(n+ 3 ) / 2 ] t=0 n+ 3 -t t 2 -∑[(n+ 1 ) / 2 ] t=0 n+ 1 -t t 2 2 + 2 ∑[n/ 2 ] t=0 n-t t · ∑[(n+ 4 ) / 2 ] t=0 n+ 4 -t t 2 + 4 ∑[(n+ 2 ) / 2 ] t=0 n+ 2 -t t 2 =∑[(n+ 1 ) / 2 ] t=0 n +1-t t 2 +∑[(n+ 3 ) / 2 ] t=0 n +3-t t 2 2 . (ⅱ )Ifnisaneventhen ∑[(n+ 4 ) / 2 ] t=0 n+ 4 -t t 2 -∑[n/ 2 ] t=0 n-t t 2 2 + 2 ∑[(n+ 1 ) / 2 ] t=0 n+ 1 -t t · ∑[(n+ 3 ) / 2 ] t=0 n + 3 -t t 2 + 4 ∑[(n+ 2 ) / 2 ] t=0 n+ 2 -t t 2 =∑[n/ 2 ] t=0 n -t t 2 +∑[(n+ 4 ) / 2 ] t=0 n +4-t t 2 2 . 展开更多
关键词 PythagorasTheorem combinatorialnumberset generalizationofPythagorasTheorem
在线阅读 下载PDF
Accessing Alignments of Ontologies via IoT Based on SKOS Data Model 被引量:3
4
作者 Xiulei Liu Xia Hou +3 位作者 Junyang Yu Ying Gao Yue Zhang Yingying Zhang 《China Communications》 SCIE CSCD 2017年第6期137-155,共19页
Many ontologies are provided to representing semantic sensors data.However,heterogeneity exists in different sensors which makes some service operators of Internet of Thing(IoT) difficult(such as such as semantic infe... Many ontologies are provided to representing semantic sensors data.However,heterogeneity exists in different sensors which makes some service operators of Internet of Thing(IoT) difficult(such as such as semantic inferring,non-linear inverted index establishing,service composing) .There is a great deal of research about sensor ontology alignment dealing with the heterogeneity between the different sensor ontologies,but fewer solutions focus on exploiting syntaxes in a sensor ontology and the pattern of accessing alignments.Our solution infers alignments by extending structural subsumption algorithms to analyze syntaxes in a sensor ontology,and then combines the alignments with the SKOS model to construct the integration sensor ontology,which can be accessed via the IoT.The experiments show that the integration senor ontology in the SKOS model can be utilized via the IoT service,and the accuracy of our prototype,in average,is higher than others over the four real ontologies. 展开更多
关键词 semantic sensor sensor ontologyalignment SKOS 10T
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部