基于uC-OS II的嵌入式安全操作系统的框架设计
基于uC-OS II的嵌入式安全操作系统的框架设计...
基于uC-OS II的嵌入式安全操作系统的框架设计...
通过对嵌入式操作系统的安全性和ARINC653框架标准的研究,设计了一套构建方案,实现了可扩展的配置工具,引入了可预测性的安全检验机制,从而有效地通过ARINC653框架标准的安全性和可配置性设计,实现安全的嵌入式操作系统。 ...
Ada语言被用于需要高度安全的嵌入式开发中,这是 Ada83 中文电子书,还不错!...
一本有关嵌入式java安全的电子书,对大家有一定的价值...
安全嵌入式系统的设计技巧.pdf The Use of Formal Methods...