基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
为了对证书的语义有一个准确的理解,本文定义了一个形式化系统。利用形式化的表述方法对证书作了分析。文章还列举了两个利用该系统进行推理的例子。
推荐文章
UML的形式化描述语义
建模语言
形式化语义
UML
一阶逻辑
一致性检查
构件适应和组装的形式化语义描述
基于构件的软件工程
软件构件
构件组装
构件适应
软件复用
形式化描述
面向移动云服务系统的形式化语义描述方法
移动云服务
agent
形式化描述
语义验证
范畴理论
UML 2.0的形式化语义研究
线性时序逻辑
形式化语义
UML2.0
顺序图
状态图
XYZ/E
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 数字证书语义的形式化描述
来源期刊 计算机工程与科学 学科 工学
关键词 形式化描述 证书 实体
年,卷(期) 2001,(1) 所属期刊栏目 计算机网络
研究方向 页码范围 5-7
页数 3页 分类号 TP393
字数 2847字 语种 中文
DOI 10.3969/j.issn.1007-130X.2001.01.002
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 龚俭 东南大学计算机科学与工程系 107 2154 26.0 43.0
2 王礼强 东南大学计算机科学与工程系 1 2 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (2)
同被引文献  (0)
二级引证文献  (0)
2001(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2003(1)
  • 引证文献(1)
  • 二级引证文献(0)
2005(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
形式化描述
证书
实体
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与科学
月刊
1007-130X
43-1258/TP
大16开
湖南省长沙市开福区德雅路109号国防科技大学计算机学院
42-153
1973
chi
出版文献量(篇)
8622
总下载数(次)
11
总被引数(次)
59030
论文1v1指导