Abstract
The heterogeneity and volatility of open distributed systems make high assurance 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