6555 search results - page 794 / 1311 » Secure attribute-based systems |
235
click to vote
SPE
2011
15 years 1 months ago
2011
Abstract. Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...
194
click to vote
IJNSEC
2010
15 years 1 months ago
2010
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access co...
163
click to vote
TCS
2010
15 years 1 months ago
2010
The literature on definitions of security based on causality-like notions such as noninterference has used several distinct semantic models for systems. Early work was based on st...
157
click to vote
ARESEC
2011
14 years 6 months ago
2011
—With increasing amount of sensitive user data stored in social computing systems (SCSs) and lack of consensus on how it should be protected under meaningful control by the avera...
168
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
Computer systems are commonly attacked by malicious transport contacts. We present a comparative study that analyzes to what extent those attacks depend on the network access, in ...