【摘 要】
：
The trustworthiness analysis and evaluation are the bases of the trust chain transfer. In this paper the formal method of trustworthiness analysis of a system b
【机 构】
：
CollegeofComputerScienceandTechnology,JiangsuAutomationResearchInstitute
【基金项目】
：
supported by the Natural Science Foundation of Jiangsu Province(BK2012237)
论文部分内容阅读
The trustworthiness analysis and evaluation are the bases of the trust chain transfer. In this paper the formal method of trustworthiness analysis of a system based on the noninterfer- ence （NI） theory of the information flow is studied. Firstly, existing
其他文献
探讨了收养的法律性质及目的等问题,在指出收养法律性质的"公法化"趋势以及收养目的的变迁所显示的收养制度适应性的基础上,结合我国开始步入老年型社会的国情,建议我国收养
如今,随着新课程教育改革在我国的不断深入,各学科教学的教育教学受到了前所未有的挑战,如它要求教师更新教学理念、创新教学方法、以学生发展为出发点、展现学生个性特点,从
<正>熟悉韩国的人一定对“汉江奇迹”记忆犹新,伴随着经济的腾飞,韩国外汇管理亦步入市场化。2004年12月17日,人民银行、外汇局与韩国央行代表团就外汇管理制度等问题进行了
<正>7月13日下午,省水利厅召开《甘肃省水利信息化发展"十三五"规划》(以下简称《规划》)专家论证会,陈德兴副厅长出席会议并讲话。会上厅信息中心相关负责同志汇报了《规划
在油田的生产中,经常会出现火灾,消防部队的任务十分艰巨,不仅关系着油田的安全生产,也影响着油田的经济效益,因此,必须提消防部队的抢险救援能力。本文阐述了消防部队在抢险
【目的/意义】本研究旨在使人们对国内网络舆情危机响应相关研究有更为清晰直观的认识。【方法/过程】以中国知网收录的2006-2016年间网络舆情危机响应研究领域的2041篇期刊
Time reversal mirror(TRM) can use the physical characteristics of the underwater acoustic(UWA) channel to focus on the desired user in multi-user UWA communicat
<正>小学品德课程教材名称由"思想品德"改为"品德与生活(社会)"又改为"道德与法治","更名改姓"的背后蕴含深意。统编版教材讲求"德",也重视"法",体现了对党关于"把法制教育纳
值《中国外汇管理》杂志百期之际,本刊特邀国家外汇管理局局长郭树清撰文。郭树清局长欣然应允,随即为本刊提供文章《人民币汇率与贸易和经济》。此文从学术研究的角度对当前
根据农场基本情况,通过农场土地优势的分析及场地合作存在的主要问题,提出促进场地合作加快发展的建议。