| Title: |
Identifying Potential Type Confusion in Authenticated Messages |
| Authors: |
Catherine Meadows Code; Catherine Meadows |
| Contributors: |
The Pennsylvania State University CiteSeerX Archives |
| Source: |
http://chacs.nrl.navy.mil/publications/CHACS/2002/./2002meadows-typeflaws.ps. |
| Publication Year: |
2002 |
| Collection: |
CiteSeerX |
| Description: |
A type confusion attack is one in which a principal accepts data of one type as data of another. Although it has been shown by Heather et al. that there are simple formatting conventions that will guarantee that protocols are free from simple type confusions in which fields of one type are substituted for fields of another, it is not clear how well they defend against more complex attacks, or against attacks arising from interaction with protocols that are formatted according to different conventions. In this paper we show how type confusion attacks can arise in realistic situations even when the types are explicitly defined in at least some of the messages, using examples from our recent analysis of the Group Domain of Interpretation Protocol. We then develop a formal model of types that can capture potential ambiguity of type notation, and outline a procedure for determining whether or not the types of two messages can be confused. We also discuss some open issues. |
| Document Type: |
text |
| File Description: |
application/postscript |
| Language: |
English |
| Relation: |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.4969 |
| Availability: |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.4969; http://chacs.nrl.navy.mil/publications/CHACS/2002/./2002meadows-typeflaws.ps |
| Rights: |
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Accession Number: |
edsbas.6A05CAB5 |
| Database: |
BASE |