SR'13 Paper - Models and Properties

Paper: "Strategic Analysis of Trust Models for User-Centric Networks"
by Marta Kwiatkowska, David Parker and Aistis Simaitis

Included below are the models and properties used to generate the results in the paper. The models are stochastic multi-player games, which can be analysed with the PRISM-games model checker.

• Figure 1
  
  
  • Models: Fig1_0.5_med_2.prism, Fig1_0.8_med_1.prism, Fig1_0.8_med_2.prism, Fig1_0.8_med_inf.prism
  • Properties: Fig1.props
  
  
• Figure 2
  
  
  • Models: Fig2_original.prism (original), Fig2_new.prism (new)
  • Properties: Fig2.props
  
  
• Figure 3
  
  
  • Model: Fig3.prism
  • Properties: Fig3.props