1679 search results - page 247 / 336 » Security Properties and CSP |
184
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Researchers have proposed formal definitions of quantitative information flow based on information theoretic notions such as the Shannon entropy, the min entropy, the gue...
135
click to vote
ADT
2010
15 years 6 months ago
2010
: In the era of mobile and wireless networks, the growing complexity of end devices and the accentuated tendency towards miniaturization of them raise new security challenges. Auth...
150
click to vote
CLUSTER
2007
IEEE
15 years 6 months ago
2007
IEEE
— Applications are faced with several network-related problems on current grids: heterogeneous networks, firewalls, NAT, private IP addresses, non-routed networks, performance p...
154
click to vote
JAR
2006
15 years 6 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
136
click to vote
ENTCS
2007
15 years 6 months ago
2007
The application scenarios envisioned for ‘global ubiquitous computing’ have unique requirements that are often incompatible with traditional security paradigms. One alternativ...