739 search results - page 43 / 148 » Security Analysis of IEEE 802.16 |
179
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
162
click to vote
DSN
2004
IEEE
15 years 9 months ago
2004
IEEE
Wireless sensor networks face acute security concerns in applications such as battlefield monitoring. A central point of failure in a sensor network is the base station, which act...
176
click to vote
CSFW
2011
IEEE
14 years 5 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
164
click to vote
SP
2000
IEEE
15 years 10 months ago
2000
IEEE
Today, even a moderately sized corporate intranet contains multiple firewalls and routers, which are all used to enforce various aspects of the global corporate security policy. ...
184
click to vote
SP
2010
IEEE
15 years 4 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...