LUCID, the dataflow programming language
LUCID, the dataflow programming language
Proc. of the IFIP TC 10 working conference on Fifth generation computer architectures
The development and proof of a formal specification for a multilevel secure system
ACM Transactions on Computer Systems (TOCS)
A computational model for distributed systems using operator nets
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
A formal model of knowledge, action, and communication in distributed systems: preliminary report
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
LUCID: a specification language for distributed systems
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Knowledge and implicit knowledge in a distributed environment: preliminary report
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Hi-index | 0.00 |
In this paper, a method for reasoning about knowledge in multilevel secure distributed systems is introduced. This method, based on a behavorial semantics for operator nets, can be used to specify a variety of security properties such as nondisclosure, integrity, and authority systems. The major attributes of the method are the intuitive nature of the specifications, and the expressibility of the model which allows statements about temporal properties and deductive capabilities of processes.