6555 search results - page 243 / 1311 » Secure attribute-based systems |
142
click to vote
ET
2006
15 years 6 months ago
2006
A security extension for IEEE Std 1149.1 is proposed. It provides a locking mechanism which prevents unauthorised users to interfere via test bus with the system normal operation. ...
146
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
ABSTRACT. In this paper a secure communication method is proposed, based on left invertibility of output-quantized dynamical systems. The sender uses an output-quantized linear sys...
279
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
159
click to vote
WETICE
2009
IEEE
16 years 1 months ago
2009
IEEE
—An inherent problem to a cooperation incentive mechanism implemented into a dynamic system where peers may join or leave at any time is the whitewashing problem. Whitewashers ar...
185
click to vote
ICDCSW
2003
IEEE
15 years 12 months ago
2003
IEEE
Smart Messages (SMs) are migratory execution units used to describe distributed computations over mobile ad hoc networks of embedded systems. The main benefits provided by SMs ar...