1357 search results - page 63 / 272 » Controlling Access to Documents: A Formal Access Control Mod... |
163
click to vote
ATVA
2010
Springer
15 years 6 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
172
click to vote
JSAC
2006
15 years 6 months ago
2006
We use game theorectic models to show the lack of incentives in the TCP congestion avoidance algorithm and the consequential systemwide network problems. We then propose a Vickery-...
195
click to vote
SACMAT
2006
ACM
16 years 4 days ago
2006
ACM
In this paper we have addressed confidentiality and privacy for video surveillance databases. First we discussed our overall approach for suspicious event detection. Next we discu...
193
click to vote
JWSR
2008
15 years 6 months ago
2008
Business processes, the next-generation workflows, have attracted considerable research interest in the last 15 years. More recently, several XML-based languages have been propose...
183
click to vote
INFOCOM
2000
IEEE
15 years 10 months ago
2000
IEEE
—We address the issue of power-controlled shared channel access in future wireless networks supporting packetized data traffic, beyond the voice-oriented continuous traffic prima...