Enforcing access control in workflow systems with a task engineering approach

By Hatim Hamid  

International Journal of Internet Technology and Secured Transactions, Vol. 4, Iss. 1, 2012-01 ,pp. : 55-70

Inderscience Publishers

Access to resources Recommend Favorite

Controlled query evaluation for enforcing confidentiality in complete information systems

By Biskup Joachim   Bonatti Piero  

International Journal of Information Security (IJIS), Vol. 3, Iss. 1, 2004-10 ,pp. : 14-27

Springer Publishing Company

Access to resources Recommend Favorite

Forbidding ET0L grammars

By Meduna A.   Svec M.  

Theoretical Computer Science, Vol. 306, Iss. 1, 2003-09 ,pp. : 449-469

Elsevier

Access to resources Recommend Favorite

Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons

By Hu Hesuan   Li Zhiwu  

Journal of Intelligent Manufacturing, Vol. 21, Iss. 4, 2010-08 ,pp. : 555-567

Springer Publishing Company

Access to resources Recommend Favorite

Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons

By Li Shao   An Ai   Wang Ying   Wang Gang   Hou Cai   Cai Ying  

Journal of Intelligent Manufacturing, Vol. 24, Iss. 6, 2013-12 ,pp. : 1157-1173

Springer Publishing Company

Access to resources Recommend Favorite