292 search results - page 35 / 59 » Property Verification for Generic Access Control Models |
110
Voted
SIGCOMM
2010
ACM
15 years 19 days ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
101
click to vote
LCN
2005
IEEE
15 years 6 months ago
2005
IEEE
— A number of analytical models have been proposed to describe the priority schemes of the Enhanced Distributed Channel Access (EDCA) mechanism of the IEEE 802.11e standard. EDCA...
105
Voted
SACMAT
2009
ACM
15 years 7 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
120
Voted
TACAS
1998
Springer
15 years 4 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
115
Voted
DC
2010
15 years 16 days ago
2010
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...