12981 search results - page 22 / 2597 » Model Checking and Abstraction |
167
Voted
IJSEKE
2011
14 years 7 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
134
Voted
CMSB
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
141
Voted
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
160
Voted
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
132
Voted
CLIMA
2008
15 years 5 months ago
2008
Abstract. I present an overview of complexity results for model checking of temporal and strategic logics. Unfortunately, it is possible to manipulate the context so that different...