a formal model for integrity protection based on dte technique

Autoria(s): Qingguang Ji; Sihan Qing; He Yeping
Data(s)

2006
Identificador

http://ir.iscas.ac.cn/handle/311060/3724

http://www.irgrid.ac.cn/handle/1471x/67569
Fonte

Qingguang Ji; Sihan Qing; He Yeping.a formal model for integrity protection based on dte technique,Science in China Series F: Information Sciences,2006,49(5):545-565
Palavras-Chave #formal model #integrity policy #information flow #domain #type #ENFORCEMENT #DOMAIN
Tipo

期刊论文
Acesso ao item digital