A Formal Model of Managed Objects with Temporal and Active Properties Using BDL


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 7, No. 8, pp. 2688-2699, Aug. 2000
10.3745/KIPSTE.2000.7.8.2688,   PDF Download:

Abstract

In this paper, we described network management functions using a language for specifying behavioral aspects of managed objects, BDL(Behaviour Description Language), that supports temporal and active properties. And, With a BDL to IDL translator, network management functions can be easily coded and transformed into CORBA IDL. Also we define a new access control model which combines Biba model, one of the mandatory access control policies stipulated by ITU-T Recommendations, and RBAC model for securing managed objects in Management Information Base. In that model, we categorize management operations for administrative attributes as a role and assign security levels to both managed objects and network managers. This model ensures the integrity MIB by controlling accesses to managed objects with constraint conditions and role assignment rules.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
E. B. Choi and B. N. Noh, "A Formal Model of Managed Objects with Temporal and Active Properties Using BDL," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 7, no. 8, pp. 2688-2699, 2000. DOI: 10.3745/KIPSTE.2000.7.8.2688.

[ACM Style]
Eun Bok Choi and Bong Nam Noh. 2000. A Formal Model of Managed Objects with Temporal and Active Properties Using BDL. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 7, 8, (2000), 2688-2699. DOI: 10.3745/KIPSTE.2000.7.8.2688.