论文部分内容阅读
为了对证书的语义有一个准确的理解，本文定义了一个形式化系统。利用形式化的表述方法对证书作了分析。文章还列举了两个利用该系统进行推理的例子。
数字证书语义的形式化描述
【摘 要】
：
为了对证书的语义有一个准确的理解，本文定义了一个形式化系统。利用形式化的表述方法对证书作了分析。文章还列举了两个利用该系统进行推理的例子。
【机 构】
：
东南大学计算机科学与工程系
【出 处】
：
计算机工程与科学
【发表日期】
：
2001年1期
其他文献
邮票作为一个国家通用发行的邮资凭证,其方寸间的内容图案在一定程度上充当了全国人民感情文化认同的窗口。中国的生肖文化已存在两千多年,在邮票的设计中,如何将生肖文化通
川中油气矿生产调控中心大屏幕上跳出一行数据：2016年天然气累计产量100.616亿立方米。这标志着西南油气田＂孵出＂一个天然气年产达百亿立方米的大油气矿。这也是一个让川渝近1.2
随着经济全球化进程节奏的加快,市场竞争愈发激烈,我国的民营企业面临的风险不断增多,其中财务风险是最大风险之一,因此关注财务风险已经成为当今企业管理研究的一个重要方向
随着经济全球化的不断深入,跨国公司转让定价税收筹划面临着新的挑战和机遇。特别是以打击跨国公司避税行为为目标的税基侵蚀和利润转移(BEPS)行动计划,正在全球范围内快速推
如果说软件是电脑灵魂的话．那么软件的每次升级．就是灵魂的升华。虽然“迅雷助手”等辅助软件可以自动检测电脑中已经安装的软件．但支持软件的丰富程度却并不理想，尤其是对于国外
【摘要】大量的教学实践证明，地理实验教学具有直观性、参与性与体验性，可大大降低学生对地理原理的理解难度，加深学生印象和理解力，对学生的学科思辨力及思维建设具有较高的价值。因此，应加强中学地理实验教学，并在教学中结合教学内容和课堂实际需要，积极探索地理实验教学的可行性教学模式，以提升地理教学效率。 【关键词】中学地理 实验教学法 重要性 可行性 一、前言 所谓地理实验教学是指地理真实实验和计算
数据遗失值填充问题是预处理过程中的一个难点.已有的算法大多寻求数据中属性值之间的关系、属性与属性值之间的关系、属性与属性间的关系来对遗失值进行填充.文章从数据间的
2018年末,万科的资产负债率(合并报表)是84.59%,高负债率不是万科独有,而是行业特性。从负债组成比率揭示高负债率的原因,结合房企业务流程和预售制度,总结万科新的商业模式:
目的:探讨分级诊疗制度对社区糖尿病患者血糖控制及并发症发生所产生的影响。方法:将2018年1月至2019年6月期间本社区108例糖尿病患者按双盲法随机分为两组,各54例。对照组进
为了应对未来移动网络差异化的垂直行业应用与海量数据分发挑战,利用网络切片技术变革现有网络架构受到广泛认同。围绕移动网络空中接口部分的切片化面临的问题,设计了包括无