Name
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. |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1016/j.knosys.2017.01.011 | Knowl.-Based Syst. |
Keywords | Field | DocType |
Service,Model checking,Trust behaviors,Pushdown automata,Fixed-point Logic with Chop | Model checking,Computer science,Deterministic pushdown automaton,Theoretical computer science,Pushdown automaton,Fixed point | Journal |
Volume | Issue | ISSN |
121 | C | 0950-7051 |
Citations | PageRank | References |
3 | 0.37 | 30 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jumana El-Qurna | 1 | 3 | 0.37 |
| H. Yahyaoui | 2 | 30 | 3.32 |
| Mohammed Almulla | 3 | 147 | 20.60 |