In this paper, we address the problems faced by a group of agents lacking global knowledge and global communications, by the introduction of a belief sharing mechanism. The Belief-Desire-Intention (BDI) architecture lacks a framework that would facilitate effective communication, to bring about situational awareness among agents in an insecure environment. We extend the BDI architecture with the concept of situational awareness. Agents can gain awareness by exchanging beliefs, ascertaining the truth of such retrieved beliefs and measuring the credibility of a peer agent. Aware-BDI mainly increases the situational awareness of the agents, thereby increasing operational efficiency and probability of attack detection.

The Extensible Authentication Protocol (EAP) is a framework for transporting authentication credentials. EAP offers simpler interoperability and compatibility across authentication methods. EAP supports multiple authentication methods. In this paper, we have modelled the Extensible Authentication Protocol as a finite state machine. The various entities in our model are Authenticator, EAP Server, User and User Database. The messages exchanged between various entities are modelled as transitions. The model is represented in PROMELA. The model is checked for conformance with its specifications to detect possible flaws using SPIN model checker.

In this paper, we address the problems faced by a group of agents that possess situational awareness, but lack a security mechanism, by the introduction of a adaptive risk management system. The Belief-Desire-Intention (BDI) architecture lacks a framework that would facilitate an adaptive risk management system that uses the situational awareness of the agents. We extend the BDI architecture with the concept of adaptive alertness. Agents can modify their level of alertness by monitoring the risks faced by them and by their peers. Alert-BDI enables the agents to detect and assess the risks faced by them in an efficient manner, thereby increasing operational efficiency and resistance against attacks.

No abstract

No abstract