任晓静
- 作品数：8 被引量：12H指数：1
- 供职机构：达州职业技术学院更多>>
- 相关领域：经济管理环境科学与工程建筑科学自动化与计算机技术更多>>
- 浅析城乡建设的绿色建筑理念被引量：1
- 2010年
- 绿色建筑是实现可持续发展战略的重要因素,是城乡建设的重要组成部分。对于城乡建筑来讲,必须由传统高消耗型发展模式转向高效能绿色发展模式,而绿色建设理念是实施这一转变的重要思想。
- 任晓静
- 关键词：绿色建筑城乡建设可持续发展
- 小城镇建设要合理利用土地被引量：8
- 2003年
- 任晓静
- 关键词：小城镇建设土地资源土地使用制度生态环境土地利用
- 一种基于OpenSSL架构HMAC安全模型的研究
- 2019年
- 安全模型应用的任务可以是安全认证功能。分析了SHA-256环境下HMAC的Open SSL实现FIPS功能规范,分析了功能规范保证预期加密属性途径,分析了哈希函数构造哈希消息认证码的功能规范。提出了增量API对HMAC和SHA函数的支持规则,探索了HMAC安全模型的几种构造方法,得出了HMAC基本安全架构。
- 何旭朱鹏飞任晓静
- 关键词：安全套接字
- 建设川东城乡一体化的小城镇被引量：1
- 2009年
- 城乡一体化小城镇具有服务大中城市和辐射农村经济的综合功能,是大中城市繁荣配套发展的基础和后盾,是农村的政治、经济、文化、金融、科教、商贸和信息中心。城乡一体化小城镇建设,是加快城镇化建设步伐、统筹城乡经济社会发展和改善农村经济结构的关键环节。区域城乡一体化小城镇建设是立足本区域特色,发展布局合理,规模适度,职能互补,特色各异的小城镇体系。
- 任晓静
- 关键词：城乡一体化小城镇建设农村经济结构川东城镇化建设小城镇体系
- 环保政策对“中国制造”生产效率的影响
- 2017年
- 随着社会经济的迅速发展,各国的环境污染问题愈趋严重,为此,很多国家制定、出台了一些环境治理的相关政策,以改善环境状况。环保政策在一定程度上能够起到减少空气污染的作用,但必定会影响到我国企业的生产效率、经济绩效。因此,平衡好环保政策与"中国制造"企业生产效率之间的关系极为重要。本文以此为主题,探究我国环保政策对"中国制造"生产效率所造成的影响,以此来为环境治理、企业生产效率的提高提供有利价值。
- 任晓静
- 关键词：环保政策生产效率环境治理
- 安全规范模块验证方法的研究被引量：1
- 2018年
- 针对大多数软件组件验证其安全性是非常重要的,本文对验证软件本身安全性进行了简单介绍。分析了软件隔离在操作系统内核的虚拟内存保护机制内和不接受不受信仸输入的加密身份验证,分析了静态分析与功能正确性验证的功能规范说明的程序建模及数据抽象。提出了功能规范端到端、模块化、编译程序来进行功能正确性验证的保护机制,探索了模块安全与功能正确保护机制验证的方法。得出了内核、加密和编译器可以通过编译功能进行正确性验证的途径。
- 何旭任晓静
- 关键词：组件安全性
