A security kernel based on the lambda-calculus

机译：一个基于lambda演算的安全内核

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

摘要

by Jonathan Allen Rees.

机译：作者：乔纳森·艾伦·里斯（Jonathan Allen Rees）。

著录项

作者
Rees Jonathan A;
展开▼
作者单位

展开▼
年度 1995
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Refinement-Based Specification and Security Analysis of Separation Kernels [J] . Zhao Yongwang, Sanan David, Zhang Fuyuan, IEEE transactions on dependable and secure computing . 2019,第1期

机译：基于细化的分离核规范和安全性分析
2. Formal verification of information flow security for a simple ARM-based separation kernel [J] . Prahladavaradan Sampath Computing reviews . 2014,第5期

机译：对基于ARM的简单分离内核进行信息流安全性的形式验证
3. A Security Kernel Architecture Based Trusted Computing Platform [J] . CHEN You-lei, SHEN Chang-xiang Wuhan University Journal of Natural Sciences . 2005,第1期

机译：基于安全内核架构的可信计算平台
4. Ensuring IoT Security with an Architecture Based on a Separation Kernel [C] . Mahieddine Yaker, Chrystel Gaber, Gilles Grimaud, IEEE International Conference on Future Internet of Things and Cloud . 2018

机译：通过基于分离内核的架构确保物联网安全
5. Enhancing Kernel Security in Virtualized Systems [D] . Li, Yiwen. 2021

机译：增强虚拟化系统中的内核安全性
6. A Review of the Methodology of Analyzing Aflatoxin and Fumonisin in Single Corn Kernels and the Potential Impacts of These Methods on Food Security [O] . Ruben A. Chavez, Xianbin Cheng, Matthew J. Stasiewicz 2020

机译：单一玉米籽粒中黄曲霉毒素和伏马毒素的分析方法学综述以及这些方法对粮食安全的潜在影响
7. A Security Kernel Based on the Lambda-Calculus [O] . Rees Jonathan A. 1996

机译：基于Lambda-Calculus的安全核

A security kernel based on the lambda-calculus

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅