An Omnipresent Formal Trust Model (FTM) for Pervasive Computing Environment

Haque, Munirul; Ahamed, Sheikh Iqbal

doi:10.1109/compsac.2007.69

Cited by 38 publications

(26 citation statements)

References 18 publications

(19 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is an example of extended semantic description of the monitor concept in the FORMS MAPE-K perspective. The semantic web has influenced several ontology based approaches [Román et al 2002;Ye et al 2007], not just for modeling context, but also other critical system aspects such as trust [Haque and Ahamed 2007] and even coordination of application invocation [Román et al 2002].…”

Section: Related Workmentioning

confidence: 99%

Forms

Weyns

Malek

Andersson

2012

ACM Trans. Auton. Adapt. Syst.

141

View full text Add to dashboard Cite

The challenges of pervasive and mobile computing environments, which are highly dynamic and unpredictable, have motivated the development of self-adaptive software systems. Although noteworthy successes have been achieved on many fronts, the construction of such systems remains significantly more challenging than traditional systems. We argue this is partially because researchers and practitioners have been struggling with the lack of a precise vocabulary for describing and reasoning about the key architectural characteristics of self-adaptive systems. Further exacerbating the situation is the fact that existing frameworks and guidelines do not provide an encompassing perspective of the different types of concerns in this setting. In this paper, we present a comprehensive reference model, entitled FOrmal Reference Model for Self-adaptation (FORMS), that targets both issues. FORMS provides rigor in the manner such systems can be described and reasoned about. It consists of a small number of formally specified modeling elements that correspond to the key concerns in the design of self-adaptive software systems, and a set of relationships that guide their composition. We demonstrate FORMS's ability to precisely describe and reason about the architectural characteristics of distributed self-adaptive software systems through its application to several existing systems. FORMS's expressive power gives it a potential for documenting reusable architectural solutions (e.g., architectural patterns) to commonly encountered problems in this area.

show abstract

Section: Related Workmentioning

confidence: 99%

Forms

Weyns

Malek

Andersson

2012

ACM Trans. Auton. Adapt. Syst.

141

View full text Add to dashboard Cite

show abstract

“…The proposed model is compared with PTM [22], FTM [23] and Wang and Varadharajan [31] trust models by considering positive and negative interactions randomly ( Figure 12). In proposed model, when an entity shows constant positive behavior, the increase factor grows exponentially; i.e., is gradual in beginning and then rises rapidly.…”

Section: Comparison With Other Modelsmentioning

confidence: 99%

“…An attacker can easily manipulate the system to gain high trust despite of having paradoxical behavior. Omnipresent Formal Trust Model (FTM) [23,24] presents a flexible trust model incorporating a behavioral model to handle interactions. However, it fails to handle situations where a malicious user can launch strategic attack as the trust value is not modified considering the old behavior pattern.…”

Section: Related Workmentioning

confidence: 99%

“…Centaurus depends heavily on the delegation of trust to third party. Recent research trend [4][5][6][7][8][9][10][11][12][13][17][18][19][20][21][22][23][24][25][26][27][28] is to build autonomous trust management as fundamental building block to design future security framework. SECURE project [4,5] presents a formal trust and risk framework to secure collaboration between ubiquitous computer systems.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Modeling interaction using trust and recommendation in ubiquitous computing environment

Iltaf

Ghafoor

Hussain

2012

J Wireless Com Network

View full text Add to dashboard Cite

To secure computing in pervasive environment, an adaptive trust and recommendation based access control model (based on human notion of trust) is proposed. The proposed model provides support to calculate direct as well as indirect trust based on recommendations. It handles situations (by itself) both in which the requesting entity has a past experience with the service and a stranger entity requesting to access the service without any past interaction with the service. It encompasses the ability to reason human cognitive behavior and has the capability to adjust in accordance with behavioral pattern changes. X-bar control chart is used to handle malicious recommendation. The defense mechanisms incorporated by proposed model against attacks such as bad mouthing attack, oscillating behavior attack and conflicting behavior attack are also demonstrated.

show abstract

“…Trust bootstrapping consists of deciding how to initialize trust relations in order to efficiently start the system and also allow newcomers to join the running system Bootstrapping Aggregation Concatenation Refreshing One-to-One (1:1) X X One-to-Many (1:N) X X Many-to-One (N:1) X X X Table 1: Trust assessment operations [16]. Most existing solutions simply initialize trust relation with a fixed value (e.g., 0.5 [6], a uniform Beta probabilistic distribution [8]). Other approaches include among others: initializing existing trust relations according to given peers recommendations [17]; applying a sorting mechanism instead of assigning fixed values [18]; and assessing trustees into different contexts (e.g., fixing a car, babysitting, etc.)…”

Section: Trust Operationsmentioning

confidence: 99%