On preventing type flaw attacks on security protocols with a simplified tagging scheme

L. I. Yafen*, Wuu Yang, Huang Ching-Wei

*Corresponding author for this work

Research output: Contribution to journalArticle

8 Scopus citations

Abstract

A type flaw attack on a security protocol is an attack in which a field in a message that was originally intended to have one type is subsequently interpreted as having another type. Heather et al. proved that type flaw attacks can be prevented by tagging each field with the information that indicates its intended type. We simplify Heather et al.'s tagging scheme by combining all the tags inside each encrypted component into a single tag and by omitting the tags on the outermost level. The simplification process reduces the sizes of messages in the security protocol. We also formally prove that our simplified tagging scheme is as secure as Heather et al.' with the strand space method.

Original languageEnglish
Pages (from-to)59-84
Number of pages26
JournalJournal of Information Science and Engineering
Volume21
Issue number1
DOIs
StatePublished - 1 Jan 2005

Keywords

  • Network security
  • Security protocol
  • Strand space
  • Tagging
  • Type flaw

Fingerprint Dive into the research topics of 'On preventing type flaw attacks on security protocols with a simplified tagging scheme'. Together they form a unique fingerprint.

  • Cite this