2162 search results - page 279 / 433 » A Meta-Notation for Protocol Analysis |
164
click to vote
PERVASIVE
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Small, mobile devices without user interfaces, such as Bluetooth headsets, often need to communicate securely over wireless networks. Active attacks can only be prevented...
138
click to vote
RTA
2007
Springer
16 years 19 days ago
2007
Springer
In the analysis of cryptographic protocols, a treacherous set of terms is one from which an intruder can get access to what was intended to be secret, by adding on to the top of a ...
170
click to vote
ANSS
2006
IEEE
16 years 18 days ago
2006
IEEE
The IP Multimedia Subsystem (IMS) is envisioned as the solution for the next generation multimedia rich communication. Based on an open IP infrastructure, it enables convergence o...
158
click to vote
IPPS
2006
IEEE
16 years 17 days ago
2006
IEEE
a This paper presents a novel Adaptive Dynamic Gridbased Data Distribution Management (DDM) scheme, which we refer to as ADGB. The main objective of our protocol is to optimize DDM...
154
click to vote
SAC
2006
ACM
16 years 14 days ago
2006
ACM
Using small, context-specific interfaces in variable declarations serves the decoupling of classes and increases a program’s flexibility. To minimize its interface, a thorough a...