LUCID: a specification language for distributed systems

Authors:
Jexice I. Glasgow;Glena H. MacEwe
Affiliations:
Queen's University, Kingston, Ontario, Canada;Queen's University, Kingston, Ontario, Canada
Venue:
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Year:
1985

Citing 1
Cited 2

Time, clocks, and the ordering of events in a distributed system

Communications of the ACM

The development and proof of a formal specification for a multilevel secure system

ACM Transactions on Computer Systems (TOCS)
Reasoning about knowledge in multilevel secure distributed systems

SP'88 Proceedings of the 1988 IEEE conference on Security and privacy

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes the use of the specification/programming language Lucid to specify secure distributed systems. It reports on the status of work to develop a formal model of security for the SNet multi-level secure distributed system, and to specify it in Lucid.