1183 search results - page 104 / 237 » On flow-sensitive security types |
132
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
193
click to vote
IJNSEC
2007
15 years 4 months ago
2007
When the network is homogeneous, choosing the cipher type for a packet telephony application is simple. It is clear that stream ciphers perform better than block ciphers over land...
138
click to vote
CSFW
2003
IEEE
15 years 10 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
115
click to vote
ICDCS
2010
IEEE
15 years 8 months ago
2010
IEEE
—Internet users such as individuals and organizations are subject to different types of epidemic risks such as worms, viruses, and botnets. To reduce the probability of risk, an ...
170
click to vote
JSAC
2006
15 years 4 months ago
2006
Abstract--Wireless sensor networks have received a lot of attention recently due to its wide applications. An accurate and synchronized clock time is crucial in many sensor network...