1653 search results - page 280 / 331 » Timed analysis of security protocols |
IEEEARES
2009
IEEE
14 years 3 months ago
2009
IEEE
Botnets have become a severe threat to the cyberspace. However, existing studies are typically conducted in an ad hoc fashion, by demonstrating specific analysis on captured bot ...
GLOBECOM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Wireless sensor networks (WSNs) are usually missioned to gather critical information in hostile and adversarial environments, which make them susceptible to compromise a...
SP
2008
IEEE
14 years 3 months ago
2008
IEEE
We consider the following problem: how can two devices that do not share any secrets establish a shared secret key over a wireless radio channel in the presence of a communication...
ISI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract—We present an extended version of a software system SIGHTS1 (Statistical Identification of Groups Hidden in Time and Space), which can be used for the discovery, analys...
SP
2005
IEEE
14 years 2 months ago
2005
IEEE
An apparently prevailing myth is that safety is undecidable in Discretionary Access Control (DAC); therefore, one needs to invent new DAC schemes in which safety analysis is decid...