標題: On preventing type flaw attacks on security protocols with a simplified tagging scheme
作者: Li, YF
Yang, W
Huang, CW
資訊工程學系
Department of Computer Science
關鍵字: network security;security protocol;type flaw;strand space;tagging
公開日期: 1-Jan-2005
摘要: 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.
URI: http://hdl.handle.net/11536/25388
ISSN: 1016-2364
期刊: JOURNAL OF INFORMATION SCIENCE AND ENGINEERING
Volume: 21
Issue: 1
起始頁: 59
結束頁: 84
Appears in Collections:Articles


Files in This Item:

  1. 000226824900004.pdf