Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Glenn H. MacEwen"'
Autor:
Glenn H. MacEwen, Sam Kweon Oh
Publikováno v:
Real-Time Systems. 11:173-195
Real-time distributed systems include communicating tasks that interact via message-passing. In such systems the timely delivery of messages is essential for meeting task timing constraints. Consequently, in addition to task execution times, message
Publikováno v:
CSFW
A formal framework called Security Logic ( SL ) is developed for specifying and reasoning about security policies and for verifying that system designs adhere to such policies. Included in this modal logic framework are definitions of knowledge, perm
Autor:
Glenn H. MacEwen, Janice I. Glasgow
Publikováno v:
CSFW
It is suggested that the notion of obligation found in modal logic can be used as the fundamental notion in formally specifying integrity. Integrity as represented by Clark-Wilson-type models is discussed. It is argued that the essential part of thei
Autor:
Janice I. Glasgow, Glenn H. MacEwen
Publikováno v:
IEEE Symposium on Security and Privacy
A method for reasoning about knowledge in multilevel secure distributed systems is introduced. This method, based on a behavioral semantics for operator nets, can be used to specify a variety of security properties such as nondisclosure, integrity, a
Autor:
Janice I. Glasgow, Glenn H. MacEwen
Publikováno v:
CSFW
The network security model originally developed for the SNet secure system is generally applicable to all secure networks. Although it was recognized that allowing message loss in the model permits a covert channel, this operational model was accepte
Publikováno v:
Proceedings of the second international symposium on Environments and tools for Ada - SETA2.
Ada is a general purpose programming language suitable for use in large applications and/or embedded real-time applications. However, its use in verification, i.e., the mathematical proof that a program's implementation is consistent with its specifi
Autor:
Glenn H. MacEwen, T. Patrick Martin
Publikováno v:
Journal of Systems and Software. 2:213-224
This paper describes a program design discipline that has successfully produced well-modularized programs. The basic approach is to apply, in a uniform way, the concepts of data and procedural abstraction in a top-down decomposition during the initia
Autor:
Glenn H. MacEwen
Publikováno v:
ACM SIGCSE Bulletin. 6:29-36
Autor:
Glenn H. MacEwen, Janice I. Glasgow
Publikováno v:
ACM Transactions on Computer Systems. 5:151-184
This paper describes current work on the design and specification of a multilevel secure distributed system called SNet. It discusses security models in general, the various problems of information flows in SNet, and the abstract and concrete securit
Autor:
Glenn H. MacEwen
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 7:112-119
The use of an explicit life cycle model for prototyping is argued for three major benefits: First, the discipline promotes correctness via the constructive approach as with production systems. Second, the levels of specification at which prototyping