Towards a definitive paradigm for security in object-oriented systems and applications

1997 ◽  
Vol 5 (4) ◽  
pp. 341-382 ◽  
Author(s):  
S.A. Demurjian ◽  
T.C. Ting
Keyword(s):  
Object Oriented ◽  
Object Oriented Systems

Early generation of performance models for object-oriented systems

2000 ◽  
Vol 147 (3) ◽  
pp. 61 ◽  
Author(s):  
V. Cortellessa ◽  
G. Iazeolla ◽  
R. Mirandola
Keyword(s):  
Object Oriented ◽  
Performance Models ◽  
Early Generation ◽  
Object Oriented Systems

Testing Refactoring Implementations of Object-Oriented Systems

2018 ◽  
Vol 6 (7) ◽  
pp. 530-534
Author(s):  
B. Nagaveni ◽  
A. Ananda Rao ◽  
P. Radhika Raju
Keyword(s):  
Object Oriented ◽  
Object Oriented Systems

Preventing Recursion Deadlock in Concurrent Object-Oriented Systems

1992 ◽  
Author(s):  
Eric A. Brewer ◽  
Carl A. Waldspurger
Keyword(s):  
Object Oriented ◽  
Object Oriented Systems

The object-oriented systems life cycle

1990 ◽  
Vol 33 (9) ◽  
pp. 142-159 ◽  
Author(s):  
Brian Henderson-Sellers ◽  
Julian M. Edwards
Keyword(s):  
Life Cycle ◽  
Object Oriented ◽  
Object Oriented Systems

Exception-based information flow control in object-oriented systems

1998 ◽  
Vol 1 (1) ◽  
pp. 26-65 ◽  
Author(s):  
Elisa Bertino ◽  
Sabrina De Capitani Di Vimercati ◽  
Elena Ferrari ◽  
Pierangela Samarati
Keyword(s):  
Flow Control ◽  
Information Flow ◽  
Object Oriented ◽  
Information Flow Control ◽  
Object Oriented Systems

Information flow control in object-oriented systems

1997 ◽  
Vol 9 (4) ◽  
pp. 524-538 ◽  
Author(s):  
P. Samarati ◽  
E. Bertino ◽  
A. Ciampichetti ◽  
S. Jajodia
Keyword(s):  
Flow Control ◽  
Information Flow ◽  
Object Oriented ◽  
Information Flow Control ◽  
Object Oriented Systems

Sheaf semantics for concurrent interacting objects

1992 ◽  
Vol 2 (2) ◽  
pp. 159-191 ◽  
Author(s):  
Joseph A. Goguen
Keyword(s):  
Computer Security ◽  
Object Oriented ◽  
Continuous Linear ◽  
Sheaf Theory ◽  
Electrical Circuits ◽  
Object Based ◽  
Time Concepts ◽  
Hardware Description ◽  
Description Languages ◽  
Object Oriented Systems

This paper uses concepts from sheaf theory to explain phenomena in concurrent systems, including object, inheritance, deadlock, and non-interference, as used in computer security. The approach is very; general, and applies not only to concurrent object oriented systems, but also to systems of differential equations, electrical circuits, hardware description languages, and much more. Time can be discrete or continuous, linear or branching, and distribution is allowed over space as well as time. Concepts from categpru theory help to achieve this generality: objects are modelled by sheaves; inheritance by sheaf morphisms; systems by diagrams; and interconnection by diagrams of diagrams. In addition, behaviour is given by limit, and the result of interconnection by colimit. The approach is illustrated with many examples, including a semantics for a simple concurrent object-based programming language.

Sign in / Sign up

Export Citation Format

Share Document