Logical model for administration policy specification

ABSTRACT

The administration system has as its mission the management and the control of distributed systems to which it is associated. Administration policies are very important to study so that managers can specify and represent complex systems in order to automate systems administration. In general, administration policies within large distributed systems are very complex, since technical and social models and policies vary considerably from one management model to another.Indeed, often every organisation has its own administration policies regarding to its objectives. Furthermore, the focal point for standardisation and research on management of networks and distributed system, is the modelling and the management of communication resources while the definition and the specification of administration policies is too often partially or full ignored. In this paper, the main objective is the design of a logical model for specification of administration policies using defeasible deontic logic.

REFERENCES

• 1: Matt.Bishop; "Recent Changes to Privacy Enhanced Electronic Mail"; Interconnecting: Research and Experience, vol. 4 pp.47--59; Mars 93
• 2: R. Boutaba; S. Znaty; "Twards iIntegrated Network Management: a Domain/Policy Approch and its Application to a High Speed Multi-network"; IEEE/IFIP, NOMS; feb 1994
• 3: R. Hilpinene, editor. "New studies in deontic logic: Norms", Action and the Foundations of Ethics. D. Reidel, Dordrecht, Holland, 1981.
• 4: Ronald M. Lee, Bureaucracies as deontic systems, ACM Transactions on Information Systems (TOIS), v.6 n.2, p.87-108, April 1988 [doi>10.1145/45941.45944]
• 5: Jonathan Moffett , Morris Sloman , Kevin Twidle, Specifying discretionary access control policy for distributed systems, Computer Communications, v.13 n.9, p.571-580, Nov. 1990 [doi>10.1016/0140-3664(90)90008-5]
• 6: Jonathan D. Moffett , Morris S. Sloman, The representation of policies as system objects, Conference proceedings on Organizational computing systems, p.171-184, November 05-08, 1991, Atlanta, Georgia, United States
• 7: J. D. Moffett, M. S. Sloman; "Policy hierarchies for distributed system management"; IEEE Journal on selected areas in communication, vol 11, N 9, dec 1993, pp 1404--1414.
• 8: Young U. Ryu , Ronald M. Lee, Defeasible deontic reasoning: a logic programming model, Deontic logic in computer science: normative system specification, John Wiley and Sons Ltd., Chichester, UK, 1994