计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2009年
9期
2360-2362,2374
,共4页
胡兆玮%靳瑞芳%于万钧%任铄%杨博
鬍兆瑋%靳瑞芳%于萬鈞%任鑠%楊博
호조위%근서방%우만균%임삭%양박
使用控制模型%使用控制授权模型%集合论%逻辑定义%实例
使用控製模型%使用控製授權模型%集閤論%邏輯定義%實例
사용공제모형%사용공제수권모형%집합론%라집정의%실례
通过引入授权和可变属性,使用控制授权模型具有了新的特性.针对这种新特性,以集合论为主要工具,对使用控制(UCON)模型结构进行了简单的介绍,并给出了逻辑模型定义;重点对使用控制授权模型进行了系统的逻辑分析,对该模型的八种不同结构分别做出了逻辑定义,并列举了相应的实例.
通過引入授權和可變屬性,使用控製授權模型具有瞭新的特性.針對這種新特性,以集閤論為主要工具,對使用控製(UCON)模型結構進行瞭簡單的介紹,併給齣瞭邏輯模型定義;重點對使用控製授權模型進行瞭繫統的邏輯分析,對該模型的八種不同結構分彆做齣瞭邏輯定義,併列舉瞭相應的實例.
통과인입수권화가변속성,사용공제수권모형구유료신적특성.침대저충신특성,이집합론위주요공구,대사용공제(UCON)모형결구진행료간단적개소,병급출료라집모형정의;중점대사용공제수권모형진행료계통적라집분석,대해모형적팔충불동결구분별주출료라집정의,병열거료상응적실례.