382 search results - page 65 / 77 » Rule-based static analysis of network protocol implementatio... |
114
click to vote
TMC
2010
14 years 6 months ago
2010
Cooperation between wireless nodes to retransmit data for the other users introduces multiuser diversity to a wireless network and increases the system throughput. In this paper, t...
DSN
2005
IEEE
15 years 5 months ago
2005
IEEE
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
CTRSA
2009
Springer
15 years 6 months ago
2009
Springer
Digital Enhanced Cordless Telecommunications (DECT) is a standard for connecting cordless telephones to a fixed telecommunications network over a short range. The cryptographic al...
224
click to vote
POPL
2001
ACM
15 years 12 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
CDVE
2007
Springer
15 years 5 months ago
2007
Springer
Analysis of existing ICT-based solutions for the education of long-term ill children reveal several weaknesses with respect to social and cooperative involvement, cost of developme...