14824 search results - page 2941 / 2965 » Security - Introduction |
106
click to vote
IFM
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
INFOCOM
2010
IEEE
14 years 9 months ago
2010
IEEE
—Privacy-Preserving Authentication (PPA) is crucial for Radio Frequency Identifcation (RFID)-enabled applications. Without appropriate formal privacy models, it is difficult for...
INFOCOM
2010
IEEE
14 years 9 months ago
2010
IEEE
—A common vulnerability of wireless networks, in particular, the mobile ad hoc network (MANET), is their susceptibility to node compromise/physical capture attacks since the wire...
INTERNET
2010
14 years 9 months ago
2010
s the HTTP request–response cycle rather than wrapping HTTP concepts in APIs. This means you put HTML element definition and action in the same place: var name = "" SHt...
IOR
2010
14 years 9 months ago
2010
In this paper, we examine a supply chain in which a single supplier sells to a downstream retailer. We consider a multi-period model, with the following sequence of events. In per...