2) Safety verification
安全性验证
1.
A goal-based automatic conversion approach for the safety verification of programs
一种为程序的安全性验证所设计的面向对象的自动转换方法
2.
This work provided a new framework for the safety verification of communication protocols.
采用接口技术对行为模型和属性模型进行组合约简,通过观察组合模型中错误状态是否可达来判定协议是否安全,为安全通信协议的安全性验证提供了一种新的框架。
3) secure position verification
安全位置验证
4) program security validation
程序安全性验证
5) Concurrent Veri?er Security
并发验证者安全
6) security protocol verification
安全协议验证
1.
In this paper, we ve discussed a series of typical symmetric Key exchange protocols, and formally verify it using a new knowledge based security protocol verification method which is called SPV logic in this paper.
安全协议验证是保证网络安全的重要技术之一，本文以导师苏开乐教授提出的一种新的基于知识理论的安全协议形式化验证逻辑(本文称其为SPV逻辑)为基础。
补充资料：《乏燃料管理安全和放射性废物管理安全联合公约》
《乏燃料管理安全和放射性废物管理安全联合公约》
Joint Convention on the Safety of Spent Fuel Management and on the Safety of Radioac-tion Waste Management
代卜Oronl一00 GuonJ一Anquon he Fongshex一ng Fe一wLJ GLJanllAnquon Llonhe Gongyue《乏燃料管理安全和放射性废物管理安全联合公约》(了访”tC加祖ventlon胡th￡SafetyojSPent Fuel Mana岁ment and on th‘Safet少of尺。己~t姗WasteManageme力t)加强乏嫩料和放封性度物管理安全方面的一项鼓励性国际公约。1997年9月5日通过，1997年9月29日开放供签署。截至1999年3月10日，已有39个国家签署，6个国家交存了批准书。但按该公约规定，需得到25个国家批准，而且其中要包括15个拥有运行的核电厂的国家才能生效，因而目前尚未生效。 《公约》的目的是，通过加强缔约国的管理和国际合作，包括适当时与安全有关的技术合作，以在世界范围内实现和保持高安全水平的乏嫩料和放射性废物管理;确保在乏嫩料和放射性废物管理的一切阶段都有预防潜在危害的有效措施，保护个人、社会和环境免受电离辐射的有害影响;防止有辐射后果的事故发生，一旦发生尽可能地减轻其后果。 《公约》适用于民用核反应堆运行产生的乏燃料的管理安全以及民事应用产生的放射性废物的管理安全，但为后处理而在其设施中保存的乏燃料除外。对于军用或国防计划所产生的乏燃料和放射性废物，则仅当其被永久转为民用计划时才适用。 《公约》强调，确保乏嫩料和放射性废物管理安全的最终责任在于对应这些材料拥有管辖权的国家身上。 缔约国的主要义务为:应在其国家法律框架内通过立法、管理和行政的措施以及其他必要的步骤，确保在乏嫌料和放射性废物管理的所有阶段都能充分保护个人、社会和环境不受到辐射的伤害.就履约所采取的措施向缔约方审评会议提交报告。《公约》还对这类物质的踌越国界运翰做了规定。 中国派代表参加了《公约》的制订和审议工作，由于对其中关于放射性废物跨境运输的条款有保留，故未签署本公约。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条