Composable information flow verification for service chain based on model checking

被引:0
|
作者
机构
[1] Xi, Ning
[2] Ma, Jian-Feng
[3] Sun, Cong
[4] Lu, Di
[5] Zhang, Tao
来源
Xi, Ning | 1600年 / Editorial Board of Journal on Communications卷 / 35期
关键词
Model checking;
D O I
10.3969/j.issn.1000-436x.2014.11.003
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条
  • [1] Quantitative verification of trustworthy service flow by stochastic model checking
    Liu, Yang
    Journal of Software Engineering, 2014, 8 (03): : 152 - 168
  • [2] Model Checking Based Web Service Verification: A Systematic Literature Review
    Rai, Gopal N.
    Gangadharan, G. R.
    IEEE TRANSACTIONS ON SERVICES COMPUTING, 2021, 14 (03) : 747 - 764
  • [3] Web service composition verification based on symbol model checking and Petri nets
    Zhang, Shijie
    Xu, Peng
    Xu, Yang
    DEVELOPMENTS OF ARTIFICIAL INTELLIGENCE TECHNOLOGIES IN COMPUTATION AND ROBOTICS, 2020, 12 : 309 - 316
  • [4] A Dynamic Verification Model based on Information Flow Constraint
    Wang, Dan
    Lu, Yan
    Fu, Lihua
    Zhao, Wenbing
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2013, 6 (04) : 712 - 723
  • [5] A Dynamic Verification Model based on Information Flow Constraint
    Dan Wang
    Yan Lu
    Lihua Fu
    Wenbing Zhao
    International Journal of Computational Intelligence Systems, 2013, 6 : 712 - 723
  • [6] Distributed Information Flow Verification Framework for the Composition of Service Chain in Wireless Sensor Network
    Xi, Ning
    Ma, Jianfeng
    Sun, Cong
    Shen, Yulong
    Zhang, Tao
    INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2013,
  • [7] Verification of Flow-Based Computing Systems Using Bounded Model Checking
    Thijssen, Sven
    Singireddy, Suraj
    Rashed, Muhammad Rashedul Haq
    Jha, Sumit Kumar
    Ewetz, Rickard
    2023 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, ICCAD, 2023,
  • [8] Formalizing and Verification of an Antivirus Protection Service using Model Checking
    Safarkhanlou, Adalat
    Souri, Alireza
    Norouzi, Monire
    Sardroud, SeyedHassan Es. Haghi
    3RD INTERNATIONAL CONFERENCE ON RECENT TRENDS IN COMPUTING 2015 (ICRTC-2015), 2015, 57 : 1324 - 1331
  • [9] Verification of web service flows with model-checking techniques
    Nakajima, S
    FIRST INTERNATIONAL SYMPOSIUM ON CYBER WORLDS, PROCEEDINGS, 2002, : 378 - 385
  • [10] Model-checking trace-based information flow properties
    D'Souza, Deepak
    Holla, Raveendra
    Raghavendra, K. R.
    Sprick, Barbara
    JOURNAL OF COMPUTER SECURITY, 2011, 19 (01) : 101 - 138