首页> 美国政府科技报告 >Formal Analysis and Run-time Monitoring of Information Flows in Chromium: Technical Appendix.

【24h】

Formal Analysis and Run-time Monitoring of Information Flows in Chromium: Technical Appendix.

机译：铬中信息流的形式分析和运行时监控：技术附录。

获取原文

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

No abstract available

著录项

作者
Bauer, L.; Cai, S.; Jia, L.; Passaro, T.; Stroucken, M.; Tian, Y.;
展开▼
作者单位

展开▼
年度 2015
页码 1-104
总页数 104
原文格式 PDF
正文语种 eng
中图分类
关键词
Information flaws; Chromium;

机译：信息缺陷;铬;

相似文献

外文文献
中文文献
专利

1. Run-Time Assurance and Formal Methods Analysis NonlinearrnSystem Applied to Nonlinear System Control [J] . Gross Kerianne H., Clark Matthew A., Hoffman Jonathan A., Journal of Aerospace Computing, Information, and Communication . 2017,第4期

机译：非线性系统的运行时间保证和形式化方法分析在非线性系统控制中的应用
2. On transparent value-sensitive run-time monitoring for information flow policies [J] . Fatemeh Imanimehr, Mehran S. Fallah Computer Languages, Systems & Structures . 2018,第DECa期

机译：对信息流策略进行透明的，对价值敏感的运行时监视
3. A remote in situ monitor based on continuous flow analysis for the quantitation of sub-micromolar levels of hexavalent chromium in natural waters [J] . Melissa A.Singer Pressman, Joseph H.Aldstadt Journal of environmental monitoring: JEM . 2005,第8期

机译：基于连续流量分析的远程原位监测器，用于定量天然水中亚微摩尔水平的六价铬
4. Run-time Monitoring and Trace Analysis Methodology for Component-based Embedded Systems Design Flow [C] . Vittoriano Muttillo, Giacomo Valente, Luigi Pomante, Euromicro Conference on Digital System Design . 2020

机译：基于组件的嵌入式系统设计流程的运行时监视和跟踪分析方法
5. Information extraction for run-time formal analysis. [D] . Kim, Moonjoo. 2001

机译：信息提取，用于运行时形式分析。
6. Design and Development of a Run-Time Monitor for Multi-Core Architectures in Cloud Computing [O] . Mikyung Kang, Dong-In Kang, Stephen P. Crago, 2011

机译：云计算中多核架构运行时监视器的设计和开发
7. Run-time Monitoring and Formal Analysis of Information Flows in Chromium [O] . Lujo Bauer, Shaoying Cai, Limin Jia, 2015

机译：铬中信息流的运行时监控和形式化分析

Formal Analysis and Run-time Monitoring of Information Flows in Chromium: Technical Appendix.

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅