1679 search results - page 65 / 336 » Security Properties and CSP |
CBSE
2011
Springer
12 years 10 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
OSDI
2004
ACM
14 years 10 months ago
2004
ACM
SUNDR is a network file system designed to store data securely on untrusted servers. SUNDR lets clients detect any attempts at unauthorized file modification by malicious server o...
EUC
2007
Springer
14 years 4 months ago
2007
Springer
This paper proposes a low-cost and strong-security RFID protocol to reduce the computational load on both the back-end database and the tags in an RFID system. When desynchronizati...
CSREASAM
2007
13 years 11 months ago
2007
A preliminary model is introduced in this paper whereby data and its associated security properties are treated as a single atomic unit of information in a hardwareonly context. Se...
ENTCS
2007
13 years 10 months ago
2007
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...