5123 search results - page 305 / 1025 » Performance and Security Tradeoff |
171
click to vote
PERVASIVE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
193
click to vote
TC
2008
15 years 6 months ago
2008
RFID (Radio Frequency IDentification) tags need to include security functions, yet at the same time their resources are extremely limited. Moreover, to provide privacy, authenticat...
205
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
175
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—Neighbor discovery is a fundamental requirement and need be done frequently in underwater acoustic networks (UANs) with floating node mobility. In hostile environments, neighbo...
162
click to vote
ICITS
2009
15 years 4 months ago
2009
In the context of secure point-to-point message transmission in networks with minimal connectivity, previous studies showed that feedbacks from the receiver to the sender can be us...