Specifying agent beliefs for authentication systems

Ji Ma; Mehmet A. Orgun

doi:10.1109/ECUMN.2007.49

Specifying agent beliefs for authentication systems

Ji Ma^*, Mehmet A. Orgun

^*Corresponding author for this work

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

3 Citations (Scopus)

37 Downloads (Pure)

Abstract

The goal of an authentication system is to verify and authorise users, in order to protect restricted data and information. After authentication, two principals (people, computers, services) in a distributed system should be entitled to believe that they are communicating with each other and not with intruders. Therefore it is important to express such beliefs precisely and to capture the reasoning that leads to them. In this paper, we focus on analysis of agent beliefs in dynamic environments in a formal framework based on a combination of a belief logic with a temporal logic. Through a well-known protocol example, that is, Kerberos, we discuss how to express principal agent beliefs involved in authentication protocols and the evolution of these beliefs as a consequence of communication, since trust is based on a series of observations of agents. Our approach is general and could be used for designing, verifying and implementing authentication protocols.

Original language	English
Title of host publication	Proceedings - ECUMN 2007: Fourth European Conference on Universal Multiservice Networks
Editors	Zoubir Mammeri, Prosper Chemouil, Pascal Lorenz, Annie Gravey
Place of Publication	Piscataway, NJ
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	410-418
Number of pages	9
ISBN (Print)	076952768X, 9780769527680
DOIs	https://doi.org/10.1109/ECUMN.2007.49
Publication status	Published - 2007
Event	ECUMN 2007: Fourth European Conference on Universal Multiservice Networks - Toulouse, France Duration: 14 Feb 2007 → 16 Feb 2007

Other

Other	ECUMN 2007: Fourth European Conference on Universal Multiservice Networks
Country/Territory	France
City	Toulouse
Period	14/02/07 → 16/02/07

Bibliographical note

Copyright 2007 IEEE. Reprinted from Proceedings of the fourth European conference on universal multiservice networks (ECUMN 2007). This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Macquarie Universityâ€™s products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.

Access to Document

10.1109/ECUMN.2007.49

Publisher version (open access).pdfFinal published version, 177 KB

Cite this

@inproceedings{1a53784c6c5d4c2b999aaada456a35a9,

title = "Specifying agent beliefs for authentication systems",

abstract = "The goal of an authentication system is to verify and authorise users, in order to protect restricted data and information. After authentication, two principals (people, computers, services) in a distributed system should be entitled to believe that they are communicating with each other and not with intruders. Therefore it is important to express such beliefs precisely and to capture the reasoning that leads to them. In this paper, we focus on analysis of agent beliefs in dynamic environments in a formal framework based on a combination of a belief logic with a temporal logic. Through a well-known protocol example, that is, Kerberos, we discuss how to express principal agent beliefs involved in authentication protocols and the evolution of these beliefs as a consequence of communication, since trust is based on a series of observations of agents. Our approach is general and could be used for designing, verifying and implementing authentication protocols.",

author = "Ji Ma and Orgun, \{Mehmet A.\}",

note = "Copyright 2007 IEEE. Reprinted from Proceedings of the fourth European conference on universal multiservice networks (ECUMN 2007). This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Macquarie University{\^a}€{\texttrademark}s products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.; ECUMN 2007: Fourth European Conference on Universal Multiservice Networks ; Conference date: 14-02-2007 Through 16-02-2007",

year = "2007",

doi = "10.1109/ECUMN.2007.49",

language = "English",

isbn = "076952768X",

pages = "410--418",

editor = "Zoubir Mammeri and Prosper Chemouil and Pascal Lorenz and Annie Gravey",

booktitle = "Proceedings - ECUMN 2007: Fourth European Conference on Universal Multiservice Networks",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

}

Ma, J & Orgun, MA 2007, Specifying agent beliefs for authentication systems. in Z Mammeri, P Chemouil, P Lorenz & A Gravey (eds), Proceedings - ECUMN 2007: Fourth European Conference on Universal Multiservice Networks., 4115225, Institute of Electrical and Electronics Engineers (IEEE), Piscataway, NJ, pp. 410-418, ECUMN 2007: Fourth European Conference on Universal Multiservice Networks, Toulouse, France, 14/02/07. https://doi.org/10.1109/ECUMN.2007.49

Specifying agent beliefs for authentication systems. / Ma, Ji; Orgun, Mehmet A.
Proceedings - ECUMN 2007: Fourth European Conference on Universal Multiservice Networks. ed. / Zoubir Mammeri; Prosper Chemouil; Pascal Lorenz; Annie Gravey. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2007. p. 410-418 4115225.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Specifying agent beliefs for authentication systems

AU - Ma, Ji

AU - Orgun, Mehmet A.

N1 - Copyright 2007 IEEE. Reprinted from Proceedings of the fourth European conference on universal multiservice networks (ECUMN 2007). This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Macquarie Universityâ€™s products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.

PY - 2007

Y1 - 2007

N2 - The goal of an authentication system is to verify and authorise users, in order to protect restricted data and information. After authentication, two principals (people, computers, services) in a distributed system should be entitled to believe that they are communicating with each other and not with intruders. Therefore it is important to express such beliefs precisely and to capture the reasoning that leads to them. In this paper, we focus on analysis of agent beliefs in dynamic environments in a formal framework based on a combination of a belief logic with a temporal logic. Through a well-known protocol example, that is, Kerberos, we discuss how to express principal agent beliefs involved in authentication protocols and the evolution of these beliefs as a consequence of communication, since trust is based on a series of observations of agents. Our approach is general and could be used for designing, verifying and implementing authentication protocols.

AB - The goal of an authentication system is to verify and authorise users, in order to protect restricted data and information. After authentication, two principals (people, computers, services) in a distributed system should be entitled to believe that they are communicating with each other and not with intruders. Therefore it is important to express such beliefs precisely and to capture the reasoning that leads to them. In this paper, we focus on analysis of agent beliefs in dynamic environments in a formal framework based on a combination of a belief logic with a temporal logic. Through a well-known protocol example, that is, Kerberos, we discuss how to express principal agent beliefs involved in authentication protocols and the evolution of these beliefs as a consequence of communication, since trust is based on a series of observations of agents. Our approach is general and could be used for designing, verifying and implementing authentication protocols.

UR - https://www.scopus.com/pages/publications/34547319032

U2 - 10.1109/ECUMN.2007.49

DO - 10.1109/ECUMN.2007.49

M3 - Conference proceeding contribution

AN - SCOPUS:34547319032

SN - 076952768X

SN - 9780769527680

SP - 410

EP - 418

BT - Proceedings - ECUMN 2007: Fourth European Conference on Universal Multiservice Networks

A2 - Mammeri, Zoubir

A2 - Chemouil, Prosper

A2 - Lorenz, Pascal

A2 - Gravey, Annie

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - Piscataway, NJ

T2 - ECUMN 2007: Fourth European Conference on Universal Multiservice Networks

Y2 - 14 February 2007 through 16 February 2007

ER -

Specifying agent beliefs for authentication systems

Abstract

Other

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this