Assumptions and Guarantees for Compositional Noninterference

doi 10.1109/csf.2011.22
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Automatic Synthesis of Assumptions for Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Noninterference for Concurrent Programs and Thread Systems

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2002English

A Noninterference Model for Nondeterministic Systems

Ruan Jian Xue Bao/Journal of Software
Software
2006English

Simple Noninterference From Parametricity

Proceedings of the ACM on Programming Languages
2019English

Component-Oriented Verification of Noninterference

Journal of Systems Architecture
HardwareArchitectureSoftware
2011English

Probabilistic Performance Guarantees for Distributed Self-Assembly

IEEE Transactions on Automatic Control
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
2015English

Computable Performance Guarantees for Compressed Sensing Matrices

Eurasip Journal on Advances in Signal Processing
HardwareElectronic EngineeringSignal ProcessingElectricalArchitecture
2018English

Improved Competitive Guarantees for QoS Buffering

Algorithmica
Applied MathematicsComputer Science ApplicationsComputer Science
2005English

Knowledge and Assumptions

Philosophical Studies
Philosophy
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy