382 search results - page 65 / 77 » Rule-based static analysis of network protocol implementatio... |
164
Voted
TMC
2010
14 years 11 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...
116
click to vote
DSN
2005
IEEE
15 years 10 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 ...
133
click to vote
CTRSA
2009
Springer
15 years 11 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...
277
Voted
POPL
2001
ACM
16 years 4 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 ...
136
Voted
CDVE
2007
Springer
15 years 10 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...