5657 search results - page 193 / 1132 » Micropayments for Wireless Communications |
174
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
171
click to vote
IWDC
2001
Springer
15 years 11 months ago
2001
Springer
The General Packet Radio Service extends the existing GSM mobile communications technology by providing packet switching and higher data rates in order to efficiently access IP-bas...