10 September 2007 Secure encapsulation of nonsecure middleware
Author Affiliations +
Abstract
Unceasingly developed and deeply exploited along with the software system, the variety of middlewares becomes more and more, they mutually affect each other in the complex way. These middlewares, because of the complex of the origin, are not extremely credible. So, before using these middlewares, we must understand the security features of them, for instance, the secret data cannot be leaked in the network. But, it is very difficult to confirm whether these middlewares have good security feature. The paper designs the encapsulations, which let these middlewares run under secure environment, and it provides the control of good granularity among the middlewares, the middleware and other system resources. The main part of this paper is to research the expression methods of the encapsulations, and we state and verify the security through these methods. This paper uses box-πcalculus to describe several kinds of encapsulations, and discuss the security that each encapsulation could guarantee.
© (2007) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Jian-min Zhao, Fang-zhou Zhang, Tian-ge Li, "Secure encapsulation of nonsecure middleware", Proc. SPIE 6776, Broadband Access Communication Technologies II, 67760J (10 September 2007); doi: 10.1117/12.733248; https://doi.org/10.1117/12.733248
PROCEEDINGS
10 PAGES


SHARE
Back to Top