Title :
A visual language for authorization modeling
Author :
Chang, S.K. ; Lese, Giuseppepo ; Thomas, Roshan ; Das, Souvik
Author_Institution :
Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
Abstract :
We present a visual language for the high level specification of authorization policies in automated environments. In order to accomplish the task, the visual language needs to provide an intuitive way to specify complex security concepts. We propose a visual language, using the Calendar-Form-Lock metaphor, to efficiently handle high level security policies and low level security details. Moreover, the visual language can manage both temporal and spatial relations, as required in authorization modeling
Keywords :
authorisation; formal specification; programming environments; security of data; visual languages; Calendar-Form-Lock metaphor; authorization modeling; authorization policies; automated environments; complex security concept specification; high level security policies; high level specification; low level security details; spatial relations; temporal relations; visual language; Authorization; Automation; Business process re-engineering; Calendars; Computer science; Costs; Drives; Management information systems; Permission; Security;
Conference_Titel :
Visual Languages, 1997. Proceedings. 1997 IEEE Symposium on
Conference_Location :
Isle of Capri
Print_ISBN :
0-8186-8144-6
DOI :
10.1109/VL.1997.626565