作者:王精明 江怡顺迹语义petri网信息流安全模型非演绎模型
摘要:就刻画安全的本质而言,基于非演绎信息流安全模型较之与基于访问控制的安全模型更为确切。文章在基于迹语义对非演绎信息流安全模型进行分析的基础上,给出了基于扩展Petri网的非演绎模型的形式化描述,进一步基于Petri网的形式化描述给出非演绎模型的验证算法且开发相应的验证工具,最后通过实例说明该算法的正确性和验证工具的方便适用性。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《滁州学院学报》(CN:34-1288/Z)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《滁州学院学报》全体成员按照教育部名刊建设的要求,团结齐心,埋头苦干,精雕细刻打磨每一篇论文,精耕细作办好每一个栏目,精益求精编辑每一期刊物;追踪学术前沿,突出学术个性,荟萃精品力作,创办品牌学报。
省级期刊
人气 536434 评论 49
人气 400549 评论 51
人气 383443 评论 44
人气 363179 评论 56