搜索结果: 16-30 共查到“知识库 操作系统与操作环境”相关记录319条 . 查询时间(4.969 秒)
Hierarchical Identity Based Encryption with Constant Size Ciphertext
Constant Size Ciphertext Based Encryption
2015/8/5
We present a Hierarchical Identity Based Encryption (HIBE) system where the ciphertext consists of just three group elements and decryption requires only two bilinear map computations, independent of ...
We initiate the formal study of functional encryption by giving precise definitions of the concept and its security. Roughly speaking, functional encryption supports restricted secret keys that enable...
Framing attacks on smart phones and dumb routers: tap-jacking and geo-localization attacks
smart phones and dumb routers geo-localization attacks
2015/8/5
While many popular web sites on the Internet use frame busting to defend against clickjacking, very few mobile sites use frame busting. Similarly, few embedded web sites such as those used on home rou...
We study the security of popular password managers and their policies on automatically filling in Web passwords. We examine browser built-in password managers, mobile password managers, and 3rd party ...
云计算中虚拟机计算环境安全防护方案
云计算 虚拟机 计算环境 主动监控
2015/12/21
提出了一种虚拟机计算环境的安全防护方案,该方案采用虚拟机内外监控相结合的方式对虚拟机的计算环境进行持续、动态的监控和度量,可对虚拟机进行反馈控制,保障虚拟机计算环境的安全,提升虚拟机的动态适应能力。对比现有安全防护案,该方案充分考虑了云计算中虚拟机效率损耗问题,安全性和执行效率较高,适用于虚拟计算环境。
基于TCM的安全Windows平台设计与实现
可信计算 完整性度量 可信密码模块 Windows安全
2015/12/22
为了解决Windows系统的完整性度量与证明问题,提出了一种基于可信密码模块TCM(trusted cryptography module)的安全Windows平台方案。通过扩展Windows内核实现了2种安全模式:在度量模式下,所有加载的可执行程序都会被度量,度量值由TCM提供保护和对外认证;在管控模式下,度量值会进一步与管理员定制的白名单进行匹配,禁止所有不在白名单中的程序执行。实验分析表明,...
面向CPS节点操作系统的混合调度系统研究与设计
物理信息融合系统 节点操作系统 调度系统 编程模型
2014/2/24
针对CPS物联性、互联性和智联性的新挑战，设计了具有实时性、灵活性及适应性特点的面向CPS节点操作系统的混合调度系统。在深入研究事件驱动与多线程两种调度机制本质区别的基础上，设计了协作式多线程和混合栈管理相结合的带有适配器机制的混合编程模型以及支持事件与线程2种任务类型的混合调度模型，并采用合理的实时算法加以实现验证。实验测试表明本调度系统在实时性能指标上明显优于TinyOS，更符合CPS的属性要...
EWFT:基于程序执行过程的白盒测试工具
动态测试 软件脆弱性分析 测试用例生成 压缩存储
2017/1/12
应用动态测试技术检测二进制程序的脆弱性是当前漏洞挖掘领域的研究热点.本文基于动态符号执行和污点分析等动态分析技术,提出了程序路径空间的符号模型的构建方法,设计了PWA(Path Weight Analysis)覆盖测试算法,实现了EWFT(Execution-based Whitebox Fuzzing Tool)原型工具.实验测试结果表明,EWFT提高了程序执行空间的测试覆盖率和路径测试深度,相...
Analysing the Required Properties of Business Simulation Games to Be Used in E-Learning and Education
Serious Games Business Simulation Games E-Learning Problem-Based Learning Business Environment
2013/1/28
Business simulation games are considered as effective tools for the empowerment and mediation of business content learning. They act as serious games which contribute to learning through a simulation ...
PMESI：一种优化进程私有数据访问的缓存一致性协议
PMESI协议 私有内存空间 目录协议 操作系统
2016/6/8
并行应用程序中绝大部分的访存是对私有数据的访问，在cache一致性协议上不会产生冲突。传统一致性协议没有根据程序私有数据的访问模式进行针对性设计，存在着很大的优化空间。针对以上的问题，提出了一种支持私有状态的cache一致性协议PMESI，通过动态关闭和激活内存空间的cache一致性目录，优化私有内存空间的访问延迟和功耗。通过时钟精确模拟器的测试，PMESI协议优化了程序中54%的访存，并行程序的...
VMSF—一种内核级虚拟机监控器调度框架
虚拟机 调度 基于宿主操作系统的虚拟机监控器 KVM
2012/3/14
虚拟化技术由于具有提高资源利用率、降低系统总体拥有成本等优点得到越来越多的关注。虚拟机成为计算机系统的一种新型应用模式，但虚拟机应用在服务质量保证和协同运行等方面与传统商用操作系统面向的应用不同，虚拟机监控器应针对此类应用的特点设计相应的调度算法。但是，在传统基于宿主操作系统的虚拟化技术中，虚拟机的调度由宿主操作系统的标准调度器完成。本文提出一种不修改宿主操作系统现有调度机制的虚拟机调度扩展框架V...
基于Linux的能源与环境监测WebGIS
Linux操作系统 能源与环境监测 网络地理信息系统 地图渲染
2012/3/1
以上海市世博园区为例，提出一种基于Linux的能源与环境监测网络地理信息系统(WebGIS)，给出系统的逻辑框架和软件设计方法。对地图服务对象池技术、地图缓存管理、跨域数据访问策略、动态地图渲染、客户端矢量要素绘制等关键技术进行分析，给出各系统模块的实现方法。应用结果证明，该系统能有效实现上海世博园区能源与环境的监测和可视化分析。
Risk Management in On-Line Banking
Online Banking Trust Culture Risk Communication Goal Setting
2013/1/28
In the context of goal setting, the more difficult the goal, given feedback on performance, the more focused is individuals’ attention and persistence to accomplish the goal and in turn, their perform...
基于塞班S60V5操作平台的光伏离网发电系统计算软件
塞班S60V5系统 光伏离网发电系统
2012/3/21
为方便计算光伏离网发电系统的有关参数，基于塞班S60V5操作平台，设计了一套计算软件，可实现光伏离网发电系统参数的现场快速计算。