Runtime verification using policy-based approach to control information flow

By Sarrab Mohamed  

International Journal of Security and Networks, Vol. 8, Iss. 4, 2013-12 ,pp. : 212-230

Inderscience Publishers

Access to resources Recommend Favorite

基于Android的汽车油耗信息管理系统的UML模型UML Model Design for Management of Information of Car Oil Consumption Based on Android OS

By 陈礼佳   殷超   钱江   徐芹   严云洋   朱全银  

Computer Science and Application, Vol. 4, Iss. 5, 2014-05 ,pp. : 95-102

汉斯出版社

Access to resources Recommend Favorite

Flexible and configurable verification policies with Omnibus

By Wilson Thomas  

Software and Systems Modeling (SoSyM), Vol. 7, Iss. 3, 2008-07 ,pp. : 257-272

Springer Publishing Company

Access to resources Recommend Favorite

The application of information security policies in large UK-based organizations: an exploratory investigation

By Fulford Heather   Doherty Neil F.  

Information Management & Computer Security, Vol. 11, Iss. 3, 2003-08 ,pp. : 106-114

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Automatic Verification of Static Policies on Software Process Models

By Reis R.Q.  

Annals of Software Engineering, Vol. 14, Iss. 1-4, 2002-12 ,pp. : 197-234

Springer Publishing Company

Access to resources Recommend Favorite