Refinement-based specification and security analysis of separation kernels

Refinement-based specification and security analysis of separation kernels

Assurance of information-flow security by formal methods is mandated in security certification of separation kernels. As an industrial standard for improving safety, ARINC 653 has been complied with by mainstream separation kernels. Due to the new trend of integrating safe and secure functionalities...

Saved in:

書目詳細資料
Main Authors:	Zhao, Yongwang, Sanan, David, Zhang, Fuyuan, Liu, Yang
其他作者:	School of Computer Science and Engineering
格式:	Article
語言:	English
出版:	2020
主題:	Engineering::Computer science and engineering Separation Kernels ARINC 653
在線閱讀:	https://hdl.handle.net/10356/144810
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Nanyang Technological University
語言:	English

相似書籍

Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B
由: ZHANG, Feng, et al.
出版: (2023)

On the Number of Quasi-Kernels in Digraphs
由: Gutin, G., et al.
出版: (2014)

Compactly supported basis functions as support vector kernels for classification
由: Wittek, P., et al.
出版: (2013)

Online Multiple Kernel Classification
由: HOI, Steven C. H., et al.
出版: (2013)

Dimensionality reduction by kernel CCA in reproducing kernel hilbert spaces
由: ZHU XIAOFENG
出版: (2010)

Poisson kernel: avoiding self-smoothing in graph convolutional networks
由: Yang, Ziqing, et al.
出版: (2022)

Correlation flow : robust optical flow using kernel cross-correlators
由: Wang, Chen, et al.
出版: (2020)

Learning the unified Kernel machines for classification
由: HOI, Steven C. H., et al.
出版: (2006)

Sparse kernel canonical correlation analysis
由: Chu, D., et al.
出版: (2014)

Probability density function estimation using gamma kernels
由: Chen, S.X.
出版: (2014)

Non-uniform multiple kernel learning with cluster-based gating functions
由: Mu, Y., et al.
出版: (2014)

Online Multiple Kernel Similarity Learning for Visual Search
由: Xia, Hao, et al.
出版: (2014)

LKAW: a robust watermarking method based on large kernel convolution and adaptive weight assignment
由: Zhang, Xiaorui, et al.
出版: (2023)

MKBoost: A framework of multiple kernel boosting
由: XIA, Hao, et al.
出版: (2013)

Adaptive transfer kernel learning for transfer Gaussian process regression
由: Wei, Pengfei, et al.
出版: (2023)

Twicing local linear kernel regression smoothers
由: Zhang, W., et al.
出版: (2014)

Online Multiple Kernel Regression
由: SAHOO, Doyen, et al.
出版: (2014)

Compactly supported basis functions as support vector kernels: Capturing feature interdependence in the embedding space
由: PETER WITTEK
出版: (2010)

Identification of Volterra kernels for improved predictions of nonlinear aeroelastic vibration responses and flutter
由: Lin, Rongming, et al.
出版: (2020)

Local linear smoothers using asymmetric kernels
由: Chen, S.X.
出版: (2014)

Sparse Passive-Aggressive learning for bounded online kernel methods
由: LU, Jing, et al.
出版: (2018)

Robust Nonparametric Regression Using Kernel Smoothing
由: ZHANG XIAOE
出版: (2010)

Kernel-Based skyline cardinality estimation
由: Zhang, Z., et al.
出版: (2013)

Compositional reasoning for shared-variable concurrent programs
由: ZHANG, Fuyuan, et al.
出版: (2018)

Improved kernel methods for classification
由: DUAN KAIBO
出版: (2010)

PRBF kernels: A framework for the incorporation of task-specific properties into support vector methods
由: Veillard, A., et al.
出版: (2013)

Representing systems generated by reproducing kernels
由: Fricain, Emmanuel, et al.
出版: (2019)

Volatile analysis of palm kernel cake for inclusion in pig feed
由: Kini, S.G., et al.
出版: (2021)

A kernel autoassociator approach to pattern classification
由: Zhang, H., et al.
出版: (2013)

Scalable online kernel learning
由: LU, Jing
出版: (2017)

HLO : half-kernel laplacian operator for surface smoothing
由: Pan, Wei, et al.
出版: (2021)

Using a hybrid convolution tree kernel for semantic role labeling
由: Che, W., et al.
出版: (2013)

An Ensemble of Kernel Ridge Regression for Multi-class Classification
由: Suganthan, Ponnuthurai Nagaratnam, et al.
出版: (2018)

MULTISCALE KERNELS FOR DIFFEOMORPHIC BRAIN IMAGE AND SURFACE MATCHING
由: TAN MING ZHEN
出版: (2017)

Kernel functions for support vector machines
由: Tanasanee Phienthrakul
出版: (2011)

Online Multiple Kernel Learning: Algorithms and Mistake Bounds
由: JIN, Rong, et al.
出版: (2010)

Vehicle classification method using compound kernel functions
由: Roxas, Edison A., et al.
出版: (2018)

KRover: A symbolic execution engine for dynamic kernel analysis
由: PITIGALA ARACHCHILLAGE, Pansilu Madhura Bhashana Pitigalaarachchi, et al.
出版: (2023)

SVM compound kernel functions for vehicle target classification
由: Roxas, Edison A., et al.
出版: (2018)

Concern localization using information retrieval: An empirical study on Linux kernel
由: WANG, Shaowei, et al.
出版: (2011)