4770 search results - page 105 / 954 » Flexible Type Analysis |
142
Voted
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper presents an analytical model for the analysis of Hybrid ARQ techniques on Discrete Time Markov Channels by means of Markov chains. The first contribution is an orig...
130
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
— We investigate the problem of computing the types of the relationships between Internet Autonomous Systems. We refer to the model introduced in [1], [2] that bases the discover...
146
click to vote
ACSC
2007
IEEE
15 years 8 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
139
click to vote
DIMVA
2006
15 years 5 months ago
2006
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
146
click to vote
JCS
2007
15 years 4 months ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...