证书管理策略形式化问题的分析与研究

来源 :计算机应用与软件 | 被引量 : 3次 | 上传用户:chen20080310
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
大多数可信机构通常采用离线手控的策略来管理证书的产生和撤销,然而这种方法不能满足目前越来越多的应用中对证书管理策略形式化和自动化执行的要求。针对此问题,提出了认证和撤销策略的一种形式化表示及其支持框架,由捆绑在服务器上的通用策略引擎来实施证书管理策略。该框架容易配置且对目前的公钥基础设施(PK I)来说不需要作任何变动,有极高的可用性。
其他文献
一个人的天空,灰蒙蒙的,撒落着小雨;两个人的草地,绿油油的,充满着生机;三个人的海滩,软绵绵的,携带着微笑;四个人的世界,亮堂堂的,弥漫着阳光。    一个人的天空    刚进初中,班上没有一个认识的小学同学。一个人孤孤单单地来,孤孤单单地走。每一天,回家的路途,都是那么遥远。阳光懒懒地照射下来,把我的影子投在地上,拉成一个很长很长的身影。看着四周结伴而行的人们,心里总是涌起一种忧伤,开始想念。想
时光老人还真不嫌累啊!每时每刻都在奔跑,跑着跑着,我就到初三了。  父母也开始淡忘。他们忘了从前总在我生日的那天说“女儿,生日快乐”或“真快,女儿又长大一岁了”!生日的味道一年一年淡下来,变成了365天中普通的一天。  关于生日的记忆也随时光流逝,在我的记忆中模糊。然而,记忆的天空再怎么模糊,也有那一抹永远灿烂的艳阳。阳光透过初三紧张的空气,一直漫延,漫延向从前……  忘记了是什么原因,我那年的生
<正> 丰林自然保护区原始森林经1931年秋森林火灾的破坏后,形成面积达2440hm~2的次生林,该林分具有独特的生态群落,至今已发生了巨大变化。为试验人工控制森林的演
“唦,唦唦,吱吱……”电视里杂音一片。  哎!家里的电视机已经是病入膏肓了。简单介绍下俺家电视的“健康状况”吧:有杂音,有雪花,共28台,其中还带有重复……对我来说,早已没有观看价值。实在是“无法忍受”!  晚上10点。  客厅里,老妈准时守在不时作响的电视机前,调到状况比较好的CCTV-8,津津有味地看起她最爱的韩剧来。说“比较好”,是和咱们家电视里其他台相比而言的。好在哪里呢?雪花较少,杂音较
在硅栅金属-氧化物-硅(以下简称“MOS”)集成电路中,由于增加了多晶硅互连层,因而用接地的多晶硅区作为衬底和金属间的静电屏蔽,以消除在电路中某些临界点处的寄生厚介质场晶
期刊
把软件设计模式应用在GIS中间件的设计之中,归纳出几种常用的GIS中间件模式,以JAVA为依据,用BNF范式的形式对这些模式进行了描述,并选择其中的一个作具体的实现说明。
茶条槭(AcerginnaldMaxim)产于我国东北、内蒙及华北山地,喜湿润土壤,耐寒,抗风雪,属阳性树种。其叶部含有大量的没食子酸(Gaeeicacid),每1000g茶条槭干叶含200g左右的没食子酸,而没食子酸广泛应用于医药、化工、食品、轻工
期刊
针对现有基于网页结构信息抽取技术的不足,提出一种基于确定性树自动机DTA(deterministic tree automaton)的信息抽取技术。其核心思想是通过将HTML文档转换成二叉树的形式,然后依据树自动机对待抽取网页的接收和拒绝状态进行数据的抽取。该方法充分利用了HTML文档的树状结构。依托树自动机将传统的以单一结构途径的信息抽取与文法推理两者相结合。经实验证明与同类抽取方法相比在准确率
针对1年提供2次嫩枝扦插穗条的仁仲母树营养消耗量大的问题,采用不同施肥、修剪等措施进行促发二次梢试验,结果表明:冬季进行修剪后再进行夏剪促梢,并在头年秋季施用长效有机肥的基
后继矩阵是一种新型的全文存储索引模型。根据warshall理论和区间求交的性质提出一种基于间接后继矩阵模型的频繁模式挖掘算法。和FP-growth方法一样,算法直接构造频繁项集,不进行Apriori算法所采用的代价很高的候选集产生与测试操作。然而它比FP-树模型具有更多的优点:只需扫描一遍事务库;挖掘任务只局部关联于后继矩阵的一行。实验表明,其具有与FP-growth算法相当甚至更高的效率。更重要