Policy Specification Languages
(Camillo Särs)
Security policies have traditionally been considered to be pieces
of paper describing a set of rules for an organization that, when
properly enforced, should ensure a reasonable level of security.
Expressing such policies in a way that can be used in
security applications is not easy. Lately a few attempts at this has
been published, although the scope of the specifications is often
limited.
This paper should present several policy specification languages
and review their semantics and expressive power. Their suitability
for a number of real-world applications should be evaluated. Two good
starting points are "KeyNote" and the "Security Policy Specification
Language (SPSL)".
The author should avoid clashing with the previous topic
"Expressing Trust and Authorization" and focus on the expressive power of the languages, not the problem field.
Material to begin
Policy management in Windows NT
(Camillo Särs)
Windows NT includes mechanisms that enable system administrators to
control the rights and environments of their users. These mechanisms
are rarely used in NT 4.0 or earlier, but do give the skilled
administrator some policy based management options. In Windows 2000,
the system will be expanded further.
This paper should first present the policy features of NT 4.0. The
drawbacks and limitations should be described. Consequently, the
improvements presented in Windows 2000 should be covered and a
comparison of the two systems should be made.
The author should note that this topic requires the ability
individually find and process information from several sources. The
paper will be rated as much for the quality of the presentation of the
information as for the quality of the sources found.
Material to begin
Security of user interface languages
(Ursula Holmstrom)
Security of user interfaces
(Ursula Holmstrom)
Trust (from the users point of view
(Ursula Holmstrom)
This page is maintained by NetSec teaching staff,
E-mail: netsec@tcm.hut.fi.
The page has been last updated on
20.4.1999
.
URL: http://www.tcm.hut.fi/Opinnot/Tik-110.501/1999/index.html