1357 search results - page 232 / 272 » Controlling Access to Documents: A Formal Access Control Mod... |
176
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
172
click to vote
PIMRC
2008
IEEE
16 years 1 months ago
2008
IEEE
—In recent years, cooperative communication has been proposed as a new communication paradigm that incorporates a relay node to assist the direct point-to-point transmission. By ...
142
click to vote
GLOBECOM
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...
164
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
—In wireless networks where communications are made over a shared medium, interference and collisions are the primary causes of packet drops. In multi-hop networks such as wirele...
179
click to vote
ACMSE
2006
ACM
16 years 18 days ago
2006
ACM
SQL injection attacks potentially affect all applications, especially web applications, that utilize a database backend. While these attacks are generally against the application...