John C. Hale  Home/Search
Context Related
| utulsa.edu/~hale/diss.ps wsu.edu/~sres/diss.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: utulsa.edu/~hale/msource (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: John C. Hale (Ph.D. in Computer Science) Seamless and Secure Interoperation of Heterogeneous Distributed Objects (93 pp. - VI Chapters ) Directed by Professor Sujeet Shenoi (135 words) Distributed computing offers tremendous benefits that can be realized only through the seamless and secure interoperation of heterogeneous computing resources. The emergence of mission-critical Internet enterprises such as electronic commerce and telemedicine establishes high assurance distributed computing as an ... (Update)
Context of citations to this paper: More
.... research comes from the theoretical work done on the Meta Object Operating System Environment (MOOSE) Project at the University of Tulsa [12]. MOOSE employs formal methods, object technology and a layered semantics for the seamless integration of heterogeneous distributed...
Cited by: More
A Formal Process Calculus And Execution Model For Distributed.. - Threet (1997) (Correct)
Similar documents (at the sentence level): More
15.0%: Seamless and Secure Interoperation of Heterogeneous Distributed.. - Hale (1996) (Correct)
9.3%: Capability-Based Primitives for Access Control in.. - Hale, Threet, Shenoi (1998) (Correct)
7.9%: ROCVM: A Formal Execution Model for High Assurance, Heterogeneous .. - Threet (Correct)
Active bibliography (related documents): More All
0.7: Programmable Security For Object-Oriented Systems - Hale, Papa, Shenoi (1998) (Correct)
0.5: A Dual Framework for High Assurance Distributed Object Security - Hale, Threet, Shenoi (1996) (Correct)
0.3: A MAC Policy Framework for Multilevel Relational Databases - Qian, Lunt (1996) (Correct)
Similar documents based on text: More All
0.3: Architecture Integration Elements: Connector Models That Form.. - Keshav (Correct)
0.3: Examining Software Architecture Property Interactions and the.. - Davis (2001) (Correct)
0.2: Computational Issues in Secure Interoperation - Gong, Qian (1996) (Correct)
BibTeX entry: (Update)
J. Hale. Seamless and Secure Interoperation of Heterogeneous Distributed Objects. Ph.D. Dissertation, Department of Computer Science, The University of Tulsa, Tulsa, Oklahoma, August 1997. http://citeseer.ist.psu.edu/hale97seamless.html More
@misc{ hale97seamless,
author = "J. Hale",
title = "Seamless and Secure Interoperation of Heterogeneous Distributed Objects",
text = "J. Hale. Seamless and Secure Interoperation of Heterogeneous Distributed
Objects. Ph.D. Dissertation, Department of Computer Science, The University
of Tulsa, Tulsa, Oklahoma, August 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/hale97seamless.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985 ACM DBLP
1933 Communication and Concurrency (context) - Milner - 1989 ACM
1363 The Common Object Request Broker: Architecture and specifica.. (context) - Group, Open - 1991
689 Systematic Software Development using VDM - Jones - 1988 ACM
673 ACTORS: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986 ACM
592 Introduction to HOL: A Theorem Proving Environment for Highe.. (context) - Gordon, Melham - 1993
419 A formulation of the simple theory of types (context) - Church - 1940 DBLP
227 Formal methods: State of the art and future directions - Clarke, Wing - 1996 DBLP
154 A specifier's introduction to formal methods (context) - Wing - 1990 ACM DBLP
153 Distributed Systems: Concepts and Design (context) - Coulouris, Dollimore - 1988 ACM
149 calculus: A tutorial (context) - Milner, ss- - 1992
145 ACM Transactions on Programming Languages and Systems (context) - Liskov, Wing et al. - 1994
126 A logical theory of concurrent objects and its realization i.. (context) - Meseguer - 1993 ACM
123 An Introduction to Formal Methods (context) - Diller - 1990
114 Coordination languages and their significance (context) - Carriero, Gelertner - 1992
86 The Essential CORBA: Systems Integration Using Distributed O.. (context) - Mowbray, Zahavi - 1995
79 Microsoft Press (context) - Brockschmidt - 1994
73 Concurrent objects in a process calculus - Pierce, Turner - 1995 ACM DBLP
72 Specification matching of software components - Zaremski, Wing - 1995 ACM DBLP
69 A model of authorization for next-generation database system.. (context) - Rabitti, Bertino et al. - 1991 ACM DBLP
64 Concurrent Aggregates (context) - Chien - 1993 ACM
63 Capability--based addressing (context) - Fabry - 1974
57 calculus semantics for object-oriented programming languages (context) - Walker - 1991
48 A logical theory of concurrent objects (context) - Meseguer - 1990 ACM DBLP
48 Heterogeneous computing: Challenges and opportunities (context) - Khokhar, Prasanna et al. - 1993 DBLP
46 Object orientation in heterogeneous distributed computing sy.. (context) - Nicol, Wilkes et al. - 1993 ACM DBLP
44 Component-oriented software technology - Nierstrasz, Dami - 1995 ACM
41 Heterogeneous processing (context) - Freund, Siegel - 1993 ACM
40 Applications of Formal Methods (context) - Hinchey, Bowen - 1995
40 Towards an object calculus - Nierstrasz - 1991
34 Requirements for a composition language - Nierstrasz - 1995 ACM DBLP
26 calculus semantics for an object-based design notation (context) - Jones, ss- - 1993
25 Integrating an object--oriented data model with multilevel s.. (context) - Jajodia, Kogan - 1990
24 Emerging standards for component software (context) - Adler - 1995 ACM DBLP
24 An augmented capability architecture to support lattice secu.. (context) - Karger - 1984
23 Argos -- a configurable access control system for interopera.. - Jonscher, Dittrich - 1996
22 A small calculus for concurrent objects (context) - Honda, Tokoro - 1991 ACM DBLP
19 A layered semantics for a parallel object-oriented language (context) - America, Rutten - 1992 ACM DBLP
19 Computational issues in secure interoperation - Gong, Qian - 1996 ACM DBLP
17 An invitation to formal methods (context) - Saiedian - 1996
13 calculus semantics for the concurrent configuration language.. - Eisenbach, Paterson - 1993
12 Distributed Operating Systems (context) - Tannenbaum - 1995 ACM DBLP
11 Formal Specification and Software Development (context) - Bjorner, Jones - 1982
9 Distributed object management technology (context) - Manola - 1988 DBLP
9 Mechanical verification of secure distributed systems in hig.. (context) - Alves-Foss, Levitt - 1991
8 A framework for high assurance security of distributed objec.. - Hale, Threet et al. - 1997 ACM DBLP
7 Implementing commercial data integrity with secure capabilit.. (context) - Karger - 1988
7 Rights in an object--oriented environment (context) - Bruggemann - 1992
7 Mechanical verification of distributed algorithms in higher .. - Chou - 1995
6 A new authorization model for objectoriented databases (context) - Bertino, Origgi et al. - 1994
5 A model of methods access authorization in object--oriented .. (context) - Gal-Oz, Gudes et al. - 1993
5 SODA: A secure object-- oriented database system (context) - Keefe, Tsai et al. - 1989
4 Technical Report ECS-LFCS-89-85 and (context) - Milner, Parrow et al. - 1989
3 A fine grained access control model for object--oriented DBM.. (context) - Rosenthal, Williams et al. - 1994
3 ACM SIGPLAN Notices (context) - Lohr - 1992
3 IEEE Transactions on Software Engineering (context) - Luckham, Vera et al. - 1995
3 Multilevel data model for the trusted ONTOS prototype (context) - Schaefer, Martel et al. - 1996 ACM DBLP
3 A process calculus for distributed objects - Threet, Hale et al. - 1996
2 An evaluation of object-oriented DBMS developments (context) - Laboratories - 1994
2 A formal specification of an authorization model for object-.. (context) - Fernandez, France et al. - 1996
2 Simulation and Automated Reasoning (context) - Garland, Guttag et al. - 1993
1 Security in a distributed environment (context) - Foundation - 1992 ACM
1 A Formal Process Calculus and Execution Model for Distribute.. - Threet - 1997 ACM
Documents on the same site (http://euler.utulsa.edu/~hale/msource.html):
An Environment for Developing Securely.. - Berryman, Rummel, .. (Correct)
Capability-Based Primitives for Access Control in.. - Hale, Threet, Shenoi (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC