Browsing by Author "Li, YF"

Now showing 1 - 2 of 2

On preventing type flaw attacks on security protocols with a simplified tagging scheme
(2005-01-01)
Li, YF
;
Yang, W
;
Huang, CW
;
資訊工程學系
;
Department of Computer Science
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.
On route lifetime in multihop mobile ad hoc networks
(2003-10-01)
Tseng, YC
;
Li, YF
;
Chang, YC
;
資訊工程學系
;
Department of Computer Science
One wireless network architecture that has received a lot of attention recently is the mobile ad hoc network (MANET). It is attractive because the network can be quickly deployed without the infrastructure of base stations. One main feature of MANET is that mobile hosts may communicate with each other through a sequence of wireless links (i.e., in a multihop manner). While many routing protocols have been proposed for MANET by considering criteria such as length, quality, bandwidth, and signal strength [1], [8], [4], [5], [7], [15], the issue of route lifetime has not been addressed formally. This paper presents a formal model to predict the lifetime of a routing path based on the random walk model. Route lifetime is derived based on a probabilistic model. Through such investigation, we hope to provide further insight into issues such as route selection, route maintenance, and network scalability related to MANETs.