2209 search results - page 117 / 442 » Language Based Secure Communication |
189
Voted
GLOBECOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— Radio Frequency Identification (RFID) systems have provided promising solutions to effective identification of a large number of tagged objects. However, RFID systems suffer ...
136
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Many existing pairwise key establishment in sensor networks were developed based on the polynomial-based method. However, this method cannot offer the basic authentication function...
112
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
166
click to vote
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
164
click to vote
SECON
2010
IEEE
15 years 2 months ago
2010
IEEE
Data aggregation in wireless sensor networks is vulnerable to security attacks and natural failures. A few nodes can drastically alter the result of the aggregation by reporting er...