The formal rules is very important in will systems.
遗嘱形式规则是遗嘱继承制度中的重要内容。
This paper first describes the ERBAC mainframe of the management of authorization, and then gives the formal rules that ERBAC model must meet.
给出了ERBAC的动态授权管理框架,最后用形式化语言描述了ERBAC模型满足的规则。
While the formal rules can be changed overnight, the informal constraints are much more impervious to change and impose a powerful drag on abrupt change.
尽管正式规则能突然改变,而非正式约束却远不受变化的干扰,并能强有力的延缓突然的变化。
应用推荐