5488 search results - page 865 / 1098 » On the Secure Implementation of Security Protocols |
146
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
152
click to vote
SAFECOMP
2009
Springer
16 years 1 months ago
2009
Springer
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...
142
click to vote
SOUPS
2009
ACM
16 years 1 months ago
2009
ACM
Developments in ubiquitous and pervasive computing herald a future in which computation is embedded into our daily lives. Such a vision raises important questions about how people...
171
click to vote
ACSAC
2008
IEEE
16 years 29 days ago
2008
IEEE
Many anti-phishing mechanisms currently focus on helping users verify whether a web site is genuine. However, usability studies have demonstrated that prevention-based approaches ...
167
click to vote
AINA
2008
IEEE
16 years 29 days ago
2008
IEEE
—The current internetworking architecture presents some limitations to naturally support mobility, security and multihoming. Among the limitations, the IP semantic overload seems...