A Dynamic Label Checking Approach for Information Flow Control in Web Services

E-ISSN： 1546-5004|3|1|1-28

ISSN： 1545-7362

Source： International Journal of Web Services Research (IJWSR), Vol.3, Iss.1, 2006-01, pp. : 1-28

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Access Control and Information Flow Control for Web Services Security

International Journal of Information Technology and Web Engineering (IJITWE), Vol. 11, Iss. 1, 2016-01 ,pp. : 44-76

IGI Global_journal

Access to resources Recommend Favorite

A Bounded Model Checking Approach for the Verification of Web Services Composition

International Journal of Web Services Research (IJWSR), Vol. 10, Iss. 4, 2013-10 ,pp. : 62-81

IGI Global_journal

Access to resources Recommend Favorite

Dynamic security labels and static information flow control

By Zheng Lantian Myers Andrew

International Journal of Information Security (IJIS), Vol. 6, Iss. 2-3, 2007-03 ,pp. : 67-84

Springer Publishing Company

Access to resources Recommend Favorite

Model checking security properties of control flow graphs

By Besson F.

Journal of Computer Security, Vol. 9, Iss. 3, 2001-01 ,pp. : 217-250

Ios Press

Access to resources Recommend Favorite

Conflict detection in composite web services based on model checking

By Kim Yeon-Seok Shin Dong-Hoon Jeon Hyun-Bae Lee Kyong-Ho Cho Kee-Seong Park Wonjoo

International Journal of Web and Grid Services, Vol. 9, Iss. 4, 2013-11 ,pp. : 394-430

Inderscience Publishers

Access to resources Recommend Favorite