类型安全
类型安全技术资料下载专区，收录10,000份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
共 10,000 份资源
源代码 10,000
类型安全 热门资料
查看全部 10,000 份 →
PDF文档
动态多级安全系统安全标记的格模型
【摘要】分析了安全标记的概念，给出了安全标记的形式化定义，并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格，解决了两安全标记比较时上、下确界的...
PDF文档
网格安全模型的设计
用一个实例来阐述了网格环境下的安全问题，并对安全问题进行了分析，在此基础上给出了一个网格的安全模型，较好的解决了单点登录、资源代理和资源分配。关键字：网格安全 资源代理 资源分配单点登...
PDF文档
本质安全型集中式控制安全操作系统研究
随着网络技术、通信技术的飞快发展，信息安全问题正成为人们研究的重点。作为底层系统软件的操作系统， 是信息安全研究的基础部分， 已成为研究的重中之重。本文以嵌入式系统为背景，结合智能卡技术和现有一般的安...
PDF文档
融合网络安全信息的网络安全态势评估模型
提出了融合网络安全信息的网络安全态势评估模型，该模型对多源安全设备的告警信息和主机系统日志进行校验、聚集融合，从而整体上降低安全设备的误报率，然后综合告警信息威胁量化结果和网络中漏洞的脆弱性量...