DocumentCode :
501857
Title :
Rule-based assumptions derivation of authentication protocols
Author :
Shukur, Zarina ; Ramli, Mohd Nazri
Author_Institution :
Fac. of Inf. Sci. & Technol., Univ. Kebangsaan Malaysia, Bangi, Malaysia
Volume :
01
fYear :
2009
fDate :
5-7 Aug. 2009
Firstpage :
42
Lastpage :
45
Abstract :
Authentication protocol can be formally specified by using BAN logic. By using formal specification, we can analyse the protocol mathematically. Before the analysis can be done, we need to have some assumptions. If inadequate assumptions are used, the analysis might at a complete loss, and if we over assume, the analysis might not needed anymore. This paper presents preliminary result of our investigation on developing rules to derive assumptions from an authentication protocol written in BAN logic.
Keywords :
formal specification; knowledge based systems; protocols; security of data; BAN logic; authentication protocols; formal specification; rule-based assumptions; Animation; Authentication; Body sensor networks; Formal specifications; Formal verification; Informatics; Information science; Logic; Protocols; Reliability theory; Authentication protocol; rule-based;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Electrical Engineering and Informatics, 2009. ICEEI '09. International Conference on
Conference_Location :
Selangor
Print_ISBN :
978-1-4244-4913-2
Type :
conf
DOI :
10.1109/ICEEI.2009.5254820
Filename :
5254820
Link To Document :
بازگشت