1679 search results - page 65 / 336 » Security Properties and CSP |
174
click to vote
CBSE
2011
Springer
14 years 4 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...
124
Voted
OSDI
2004
ACM
16 years 4 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...
152
click to vote
EUC
2007
Springer
15 years 10 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...
120
click to vote
CSREASAM
2007
15 years 6 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...
119
click to vote
ENTCS
2007
15 years 4 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...