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...

Full description

Saved in:
Bibliographic Details
Published in:Knowledge-based systems 2017-04, Vol.121, p.7-22
Main Authors: El-Qurna, Jumana, Yahyaoui, Hamdi, Almulla, Mohamed
Format: Article
Language:English
Subjects:
Algorithms
Fixed-point Logic with Chop
Model checking
Pushdown automata
Service
Trust
Trust behaviors
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c334t-94370d858df6ed38f613bf9f63cc2eebf8334e54e8156a0da454225c22ebed863
cites cdi_FETCH-LOGICAL-c334t-94370d858df6ed38f613bf9f63cc2eebf8334e54e8156a0da454225c22ebed863
container_end_page 22
container_issue
container_start_page 7
container_title Knowledge-based systems
container_volume 121
creator El-Qurna, Jumana
Yahyaoui, Hamdi
Almulla, Mohamed
description 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.
doi_str_mv 10.1016/j.knosys.2017.01.011
format article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_1938871919</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>S0950705117300230</els_id><sourcerecordid>1938871919</sourcerecordid><originalsourceid>FETCH-LOGICAL-c334t-94370d858df6ed38f613bf9f63cc2eebf8334e54e8156a0da454225c22ebed863</originalsourceid><addsrcrecordid>eNp9kEtPwzAQhC0EEqXwDzhY4pzgtfNwLqCq4iVV4gJnK3HWqlMal3Wain9PqnJGGmkuM7Paj7FbECkIKO67dNOH-BNTKaBMBUyCMzYDXcqkzER1zmaiykVSihwu2VWMnRBCStAz9rjgPR64o3qLh0Ab7gLxYY18RPLO23rwoefB8Yg0eot8oH0ceIPrevSB4jW7cPVXxJs_n7PP56eP5Wuyen95Wy5WiVUqG5IqU6Voda5bV2CrtCtANa5yhbJWIjZOTzHMM9SQF7Vo6yzPpMytlNhgqws1Z3en3R2F7z3GwXRhT_100kCltC6hmnzOslPKUoiR0Jkd-W1NPwaEOaIynTmhMkdURsAkmGoPpxpOH4weyUTrsbfYekI7mDb4_wd-AVzMdBY</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1938871919</pqid></control><display><type>article</type><title>A new framework for the verification of service trust behaviors</title><source>Library &amp; Information Science Abstracts (LISA)</source><source>ScienceDirect Freedom Collection</source><creator>El-Qurna, Jumana ; Yahyaoui, Hamdi ; Almulla, Mohamed</creator><creatorcontrib>El-Qurna, Jumana ; Yahyaoui, Hamdi ; Almulla, Mohamed</creatorcontrib><description>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.</description><identifier>ISSN: 0950-7051</identifier><identifier>EISSN: 1872-7409</identifier><identifier>DOI: 10.1016/j.knosys.2017.01.011</identifier><language>eng</language><publisher>Amsterdam: Elsevier B.V</publisher><subject>Algorithms ; Fixed-point Logic with Chop ; Model checking ; Pushdown automata ; Service ; Trust ; Trust behaviors</subject><ispartof>Knowledge-based systems, 2017-04, Vol.121, p.7-22</ispartof><rights>2017 Elsevier B.V.</rights><rights>Copyright Elsevier Science Ltd. Apr 1, 2017</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c334t-94370d858df6ed38f613bf9f63cc2eebf8334e54e8156a0da454225c22ebed863</citedby><cites>FETCH-LOGICAL-c334t-94370d858df6ed38f613bf9f63cc2eebf8334e54e8156a0da454225c22ebed863</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27923,27924,34134</link.rule.ids></links><search><creatorcontrib>El-Qurna, Jumana</creatorcontrib><creatorcontrib>Yahyaoui, Hamdi</creatorcontrib><creatorcontrib>Almulla, Mohamed</creatorcontrib><title>A new framework for the verification of service trust behaviors</title><title>Knowledge-based systems</title><description>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.</description><subject>Algorithms</subject><subject>Fixed-point Logic with Chop</subject><subject>Model checking</subject><subject>Pushdown automata</subject><subject>Service</subject><subject>Trust</subject><subject>Trust behaviors</subject><issn>0950-7051</issn><issn>1872-7409</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2017</creationdate><recordtype>article</recordtype><sourceid>F2A</sourceid><recordid>eNp9kEtPwzAQhC0EEqXwDzhY4pzgtfNwLqCq4iVV4gJnK3HWqlMal3Wain9PqnJGGmkuM7Paj7FbECkIKO67dNOH-BNTKaBMBUyCMzYDXcqkzER1zmaiykVSihwu2VWMnRBCStAz9rjgPR64o3qLh0Ab7gLxYY18RPLO23rwoefB8Yg0eot8oH0ceIPrevSB4jW7cPVXxJs_n7PP56eP5Wuyen95Wy5WiVUqG5IqU6Voda5bV2CrtCtANa5yhbJWIjZOTzHMM9SQF7Vo6yzPpMytlNhgqws1Z3en3R2F7z3GwXRhT_100kCltC6hmnzOslPKUoiR0Jkd-W1NPwaEOaIynTmhMkdURsAkmGoPpxpOH4weyUTrsbfYekI7mDb4_wd-AVzMdBY</recordid><startdate>20170401</startdate><enddate>20170401</enddate><creator>El-Qurna, Jumana</creator><creator>Yahyaoui, Hamdi</creator><creator>Almulla, Mohamed</creator><general>Elsevier B.V</general><general>Elsevier Science Ltd</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>E3H</scope><scope>F2A</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>20170401</creationdate><title>A new framework for the verification of service trust behaviors</title><author>El-Qurna, Jumana ; Yahyaoui, Hamdi ; Almulla, Mohamed</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c334t-94370d858df6ed38f613bf9f63cc2eebf8334e54e8156a0da454225c22ebed863</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2017</creationdate><topic>Algorithms</topic><topic>Fixed-point Logic with Chop</topic><topic>Model checking</topic><topic>Pushdown automata</topic><topic>Service</topic><topic>Trust</topic><topic>Trust behaviors</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>El-Qurna, Jumana</creatorcontrib><creatorcontrib>Yahyaoui, Hamdi</creatorcontrib><creatorcontrib>Almulla, Mohamed</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>Library &amp; Information Sciences Abstracts (LISA)</collection><collection>Library &amp; Information Science Abstracts (LISA)</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Knowledge-based systems</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>El-Qurna, Jumana</au><au>Yahyaoui, Hamdi</au><au>Almulla, Mohamed</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A new framework for the verification of service trust behaviors</atitle><jtitle>Knowledge-based systems</jtitle><date>2017-04-01</date><risdate>2017</risdate><volume>121</volume><spage>7</spage><epage>22</epage><pages>7-22</pages><issn>0950-7051</issn><eissn>1872-7409</eissn><abstract>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.</abstract><cop>Amsterdam</cop><pub>Elsevier B.V</pub><doi>10.1016/j.knosys.2017.01.011</doi><tpages>16</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0950-7051
ispartof Knowledge-based systems, 2017-04, Vol.121, p.7-22
issn 0950-7051
1872-7409
language eng
recordid cdi_proquest_journals_1938871919
source Library & Information Science Abstracts (LISA); ScienceDirect Freedom Collection
subjects Algorithms
Fixed-point Logic with Chop
Model checking
Pushdown automata
Service
Trust
Trust behaviors
title A new framework for the verification of service trust behaviors
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-08T15%3A12%3A35IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20new%20framework%20for%20the%20verification%20of%20service%20trust%20behaviors&rft.jtitle=Knowledge-based%20systems&rft.au=El-Qurna,%20Jumana&rft.date=2017-04-01&rft.volume=121&rft.spage=7&rft.epage=22&rft.pages=7-22&rft.issn=0950-7051&rft.eissn=1872-7409&rft_id=info:doi/10.1016/j.knosys.2017.01.011&rft_dat=%3Cproquest_cross%3E1938871919%3C/proquest_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c334t-94370d858df6ed38f613bf9f63cc2eebf8334e54e8156a0da454225c22ebed863%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=1938871919&rft_id=info:pmid/&rfr_iscdi=true