The server is under maintenance between 08:00 to 12:00 (GMT+08:00), and please visit later.
We apologize for any inconvenience caused
Login  | Sign Up  |  Oriprobe Inc. Feed
China/Asia On Demand
Journal Articles
Laws/Policies/Regulations
Companies/Products
Bookmark and Share
A formal description and verification system of information security
Author(s): 
Pages: 795-799
Year: Issue:  4
Journal: Journal of Southwest University for Nationalities(Natrual Science Edition)

Keyword:  BLP模型Biba模型认证授权保密性完整性;
Abstract: 本文通过引入一些新概念,利用有限状态机原理和BLP模型、Biba模型思想,对一个基于认证和授权的信息系统进行了形式化描述和验证,该模型具有保密性和完整性.
Related Articles
No related articles found