1357 search results - page 232 / 272 » Controlling Access to Documents: A Formal Access Control Mod... |
159
click to vote
SP
2009
IEEE
16 years 1 days 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 ...
153
click to vote
PIMRC
2008
IEEE
15 years 11 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 ...
133
Voted
GLOBECOM
2007
IEEE
15 years 11 months 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...
143
click to vote
ICC
2007
IEEE
15 years 11 months 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...
153
click to vote
ACMSE
2006
ACM
15 years 11 months 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...