کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4946261 1439280 2017 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A new framework for the verification of service trust behaviors
ترجمه فارسی عنوان
یک چارچوب جدید برای تایید رفتارهای اعتماد سرویس
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
چکیده انگلیسی
We propose in this paper a model checking framework for service trust behaviors. We devise a new trust behavior model, which is a deterministic PushDown Automaton (PDA) based trust behavior model. This model is built based on the observations' sequences, which are derived from the interactions with services. Furthermore, we express the regular and non-regular trust behavior properties using Fixed point Logic with Chop (FLC). The model checking of service trust behaviors with respect to trust properties is performed using a symbolic FLC model checking algorithm. Finally, we present some experiments to assess the efficiency of the proposed algorithm.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Knowledge-Based Systems - Volume 121, 1 April 2017, Pages 7-22
نویسندگان
, , ,