382 search results - page 65 / 77 » Rule-based static analysis of network protocol implementatio... |
186
click to vote
TMC
2010
15 years 16 days 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...
138
click to vote
DSN
2005
IEEE
15 years 11 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 ...
157
click to vote
CTRSA
2009
Springer
16 years 19 days 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...
298
click to vote
POPL
2001
ACM
16 years 6 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 ...
157
click to vote
CDVE
2007
Springer
16 years 22 hour 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...