Abstract
The heterogeneity and volatility of open distributed systems make high asĀsurance security an elusive goal. One solution is to provide developers with tools for designing and implementing robust object systems with verifiable behavior in open environments (Cleaveland et al., 1994). The Meta-Object Operating System Environment (MOOSE) (Hale et al., 1997) is intended to support the development, execution and verification of secure heterogeneous distributed systems.
Chapter PDF
Similar content being viewed by others
References
Cleaveland, R., Gada, J., Lewis, P., Smolka S., Sokolsky, O. and Zhang, S. (1994) The Concurrency Factory ā Practical tools for specification, simulation, verification and implementation of concurrent systems, in Specification of Parallel Algorithms (eds. G. Blelloch, K.M. Chandy and S. Jagannathan), American Mathematical Society, Providence, Rhode Island, 75ā90.
Gordon, M. and Melham, T.F. (eds.) (1993) Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. Cambridge University Press, Cambridge, U.K.
Hale, J., Threet, J. and Shenoi, S. (1997) A framework for high assurance security of distributed objects, in Database Security, X: Status and Prospects (eds. P. Samarati and R. Sandhu), Chapman and Hall, London, 99ā115.
Houck, C. and Agha, G. (1992) HAL: A high level Actor language and its distributed implementation, Proceedings of the 21st International Conference on Parallel Processing, 158ā165.
Melham, T.F. (1992) A mechanized theory of the 7r-calculus in HOL. Technical Report 244, University of Cambridge Computer Laboratory, Cambridge, U.K.
Milner, R., Parrow, J. and Walker, D. (1989) A calculus of mobile processes. Technical Report ECS-LFCS-89ā85&86, University of Edinburgh, Edinburgh, U.K.
Nierstrasz, O. (1991) Towards an object calculus, in Proceedings of the ECOOPā91 Workshop on Object-Based Concurrent Computing (eds. M. Tokoro, O. Nierstrasz and R.A. Olsson), Springer Verlag, Amsterdam, 1ā20.
Zhang, C., Shaw, R., Heckman, M.R., Levitt, K. and Olsson, R.A. (1995) A hierarchical method for reasoning about distributed programming languages and applications. Proceedings of the International Workshop on Higher Order Logic Theorem Proving and its Applications.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 1998 IFIP
About this chapter
Cite this chapter
Berryman, M., Rummel, C., Papa, M., Threet, J., Shenoi, S., Hale, J. (1998). An environment for developing securely interoperable heterogeneous distributed objects. In: Lin, T.Y., Qian, S. (eds) Database Security XI. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35285-5_23
Download citation
DOI: https://doi.org/10.1007/978-0-387-35285-5_23
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2914-5
Online ISBN: 978-0-387-35285-5
eBook Packages: Springer Book Archive