Read-abortion (RA) based synchronization protocols to prevent illegal information flow

DOI10.1016/J.JCSS.2014.12.020MaRDI QIDQ494034zbMATH OpenOpenAlexFDO

Authors Shigenari Nakamura, Dilawaer Duolikun, Makoto Takizawa

Publication date 31 August 2015

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2014.12.020

zbMATH Keywords

information flow controlread-abortion object-based synchronization (RA-OBS) protocolread-abortion role-based synchronization (RA-RBS) protocolrole-based access control (RBAC) model

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• scientific article; zbMATH DE number 1756667
• Information flow in systems with schedulers. I: Definitions
• scientific article; zbMATH DE number 2064465
• Content dependent information flow control
• Securing the future -- an information flow analysis of a distributed OO language

Cited in

(1)

• scientific article; zbMATH DE number 1756667 (Why is no real title available?)

This page was built for publication: Read-abortion (RA) based synchronization protocols to prevent illegal information flow

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q494034)