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

DOI10.1016/J.JCSS.2014.12.020zbMATH Open1328.68028OpenAlexW2001189333MaRDI QIDQ494034FDOQ494034

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Title not available (Why is that?)

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)