首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   8篇
  免费   1篇
  国内免费   3篇
电工技术   1篇
综合类   1篇
化学工业   1篇
建筑科学   2篇
无线电   1篇
原子能技术   1篇
自动化技术   5篇
  2015年   1篇
  2014年   3篇
  2013年   1篇
  2012年   1篇
  2009年   1篇
  2008年   1篇
  2000年   4篇
排序方式: 共有12条查询结果,搜索用时 15 毫秒
1.
安全协议的验证逻辑   总被引:20,自引:2,他引:18  
白硕  隋立颖  陈庆锋  付岩  庄超 《软件学报》2000,11(2):213-221
该文提出一种论证安全协议之安全性质的非单调动态逻辑.针对信息安全的特定需要,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则,举例说明了这一逻辑框架在验证安全协议方面的应用,并讨论了需要进一步解决的问题.  相似文献   
2.
电子商务安全协议及其非单调动态逻辑验证   总被引:6,自引:1,他引:5  
该文介绍了SET(secure electronic transactions)的付费业务流程,对NDL(non-monotomic dynamic logic)的逻辑框架进行了扩展,即针对SET协议,增加了新的公理,重新给出积累规则的定义.在此基础上,用对SET中的几个重要的范例进行的逻辑验证,说明了NDL在验证电子商务协议上的重要性,并初步提出了积累规则中需要进一步研究的问题.  相似文献   
3.
SET协议中问题的分析及解决方案   总被引:12,自引:0,他引:12  
文中对SET协议中的“k out of n”问题进行了全面的分析,并提出了完整的解决方案,在对SET付费业务流程中的两个关键性问题用NDL逻辑进行验证后,给出了它们的Prolgo程序流程,全文着重于在SET协议中实现“防抵赖”和“可迫踪”两种安全机制,并在此基础上实现用Prolog语言程序模拟验证过程,最后对电子商务的发展和今后将要做的工作做了一些初步的探讨。  相似文献   
4.
针对无人机地面控制站的通用化需求作了分析,设计了基于通用测控协议的协议转换软件、基于"触摸屏+硬按键+可配置软件"的通用控制台、基于组合化控制机柜的操控席位和基于TCP/IP协议的全网络化信息传输环境,给出了系统的软、硬件组成和信息流程。通过多个项目中的成功应用,表明该通用无人机地面控制站能够有效兼容多型号、多套无人机系统,具有较好的通用性和可拓展性。  相似文献   
5.
电子商务安全协议的逻辑验证   总被引:6,自引:0,他引:6  
作者在以前所做的工作中,已对电子商务安全(secure electronic transactions,简称SET)中抽取的片段进行了证明,也对SET中可能存在的问题进行了初步探讨.该文在此基础上,对SET的整个业务流程进行了严格的逻辑验证,通过形式化逻辑方法的验证,发现了SET协议中存在的一些问题,并对如何解决这些问题进行了初步的探讨.  相似文献   
6.
以5-二乙基氨基水杨醛、噻吩乙腈为原料,经三步以较高的收率合成了新型香豆素敏化色素2-氰基-3-(5-(7-(N,N-二乙氨基)-2-羰基-2H-3-苯并吡喃基)-2-噻吩基)丙烯酸,其结构经1 H NMR和MS得以确认.并对其进行三维荧光光谱测试,结果显示:该化合物在溶剂中能发射出强的橙黄色荧光,在三维荧光图谱中有三个典型的荧光光谱峰,最强荧光特征峰最大激发波长λex为515nm,最大发射波长λem为600nm,Stokes Shift为85nm.  相似文献   
7.
以聚丙烯酰胺(PAM)为添加剂,对复合铝锌铁(PAZF)混凝剂进行有机改性,制备无机有机复合混凝剂(PPAZF),同时对比研究PPAZF、PAZF、与聚合氯化铝(PAC)对生活污水的处理效果。结果表明:三种混凝剂在相同的最佳投加量为148 mg/L时,PPAZF不仅对生活污水的浊度、COD和总磷去除效果最高,而且产生的絮体较大且密实。与PAZF相比,低投加量时PPAZF除磷效果大幅度提高。另外,PPAZF对pH的适应性更强。  相似文献   
8.
采用451P加压电离室巡测仪对某工厂工业X射线探伤机在移动顶棚式探伤室内正常运行时其探伤室周边辐射环境进行监测。结果显示:曝光室防护门两侧门缝监测点位超标,其余监测点位辐射水平在0.15~0.37μGy/h范围内,能够满足2.5μGy/h的限值要求。据此对曝光室防护门进行了屏蔽核算,提出了整改建议,并在防护门整改后进行了检测,其结果满足2.5μGy/h的限值要求。并对职业人员及公众人员可能接受的年有效剂量进行了估算。  相似文献   
9.
人工水草在重污染河流生态修复中的应用进展   总被引:2,自引:0,他引:2  
传统的河流生态修复技术一般为物理修复技术、化学修复技术和生物-生态修复技术,但是在实际应用中尤其是在重污染河流生态修复中存在很多局限性,因此探寻新的技术和手段并结合实际情况进行河流生态系统修复已迫在眉睫。人工水草技术采用耐酸碱、耐污、柔韧性很强的仿水草材料,不受透明度、光照等限制,具有投资低、效果好、二次污染小的特点,在我国污水处理和河流生态修复中具有广泛的应用前景。详细介绍了人工水草的类型及研究应用现状,以期为人工水草技术在重污染河流生态修复中的广泛应用提供理论依据。  相似文献   
10.
本文以济南市环保局发布的《2011年济南市环境质量报告书》为依据,就该年度济南市区部分道路交通噪声监测结果为研究对象,对道路交通噪声的原因、危害及其防治对策进行分析,以期教育人们学会如何减少道路交通噪声污染,提高广大市民生活环境质量。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号