-
题名中美档案保护机构比较研究
被引量：1
- 1
-
-
作者
吴向波
孙帅
-
机构
安徽大学管理学院
中国电子工业集团第
-
出处
《浙江档案》
北大核心
2007年第6期56-58,共3页
-
文摘
档案工作机构是一个集合概念,是档案行政管理机构、保护机构、科研机构、档案学术团体等的统称。档案保护机构作为档案工作机构的一个重要组成部分,负责档案实体的安全保管。各国档案保护工作机构由于各种原因,有明显差异。本文试就中美两国档案保护机构的异同点进行比较研究,旨在帮助我国档案工作者全面了解美国档案保管、保护工作情况,并从中借鉴有益经验,更好地发展我国的档案事业。
-
关键词
中国
美国
档案保护机构
比较研究
-
分类号
G273.3
[文化科学—档案学]
-
-
题名安全属性形式化描述统一框架及其分析方法研究
- 2
-
-
作者
谢鸿波
谭兴烈
周明天
-
机构
电子科技大学计算机科学与工程学院
重庆通信学院数据链教研室
中国电子工业集团第
-
出处
《计算机应用研究》
CSCD
北大核心
2011年第4期1460-1464,共5页
-
基金
国家"863"计划863-104-03-01课题资助项目
-
文摘
在安全协议的形式化分析研究当中,如何在统一的框架下对更多的安全属性进行分析和验证是一个亟待解决的重要问题。为了解决这个问题,提出了用匹配关系来形式化地描述各种安全属性的统一框架,建立了语法和语义系统,并证明了该框架的可靠性和完备性。在此基础上,将知识推理和进程演算结合起来,提出了一个安全协议形式化分析的一般模型。最后,给出了一些安全属性的研究实例,并指出了进一步完善此模型的研究方向。
-
关键词
进程演算
知识推理
安全属性
形式化分析
安全协议
-
Keywords
process calculus
knowledge derivation
security properties
formal analysis
security protocol
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于GPRS的智能家居安全监控
被引量：10
- 3
-
-
作者
陈帅
钟先信
刘积学
李晓毅
邵小良
-
机构
淮南师范学院计算机与信息工程系
重庆大学光电技术及系统教育部重点实验室
中国电子工业集团公司第
-
出处
《计算机测量与控制》
CSCD
北大核心
2011年第2期326-328,共3页
-
基金
国家重点基础研究发展规划项目(973)(G1999033105)
重庆市科委自然科学基金项目(2005BB2198)
+1 种基金
安徽高等学校省级自然科学研究重点项目(KJ2010A310)
淮南师范学院科研基金计划项目(2009LK02)
-
文摘
为了掌握智能家居的安全性,需要监测家居的图像信息;采用嵌入式系统获取家居的监测图像,通过GPRS无线远程通信和Internet传输,实现了基于uClinux嵌入式操作系统的图像采集网络仪器和通过GPRS传输的家居远程图像通信系统;网络仪器以MCF5272为硬件核心,以uClinux为操作系统,采用GPRS方式实现远程接入Internet;图像经过解码和编码后,以文件方式保存和传输;介绍了图像采集网络仪器的构成、GPRS远程家居图像通信系统的组成、接入Internet的uClinux方式、嵌入式中图像文件自动传输与接收设计,并通过实验检验了网络仪器和家居远程通信的实现方案;结果表明,通过GPRS和网络仪器,可以实现家居的安全监控,从而保护家居的财产安全。
-
关键词
监控
家居
嵌入式
远程通信
图像
-
Keywords
monitoring
living--room
embedded system
remote communication
image
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
-
