5475 search results - page 736 / 1095 » Model Driven Security |
172
click to vote
IDT
2008
15 years 6 months ago
2008
: Many defense, homeland security, and commercial security objectives require continuous tracking of mobile entities such as aircraft. The systems that perform these functions prod...
193
click to vote
LPAR
2007
Springer
16 years 24 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
180
click to vote
SAC
2006
ACM
16 years 19 days ago
2006
ACM
Generative coordination is one of the most prominent coordination models for implementing open systems due to its spatial and temporal decoupling. Recently, a coordination communi...
200
click to vote
DBSEC
2006
15 years 8 months ago
2006
We demonstrate how access control models and policies can be represented by using term rewriting systems, and how rewriting may be used for evaluating access requests and for provi...
179
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...