3811 search results - page 135 / 763 » The Safe-Tcl Security Model |
199
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
We conduct an extensive study of information leakage over the powerline infrastructure from eight televisions (TVs) spanning multiple makes, models, and underlying technologies. I...
162
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we re-visit the problem of unconditionally secure message transmission (USMT) from a sender S to a receiver R, who are part of a distributed synchronous network, mo...
140
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Many institutions are currently investigating the feasibility of creating Computer Security Laboratory environments for their researchers and students. This paper compares four of...
175
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
183
click to vote
MUE
2007
IEEE
16 years 20 days ago
2007
IEEE
RFID technology has been applied to a number of applications. In [5], a protocol was described how to apply RFID to currency to provide integrity (e.g. reduce counterfeiting) whil...