2043 search results - page 286 / 409 » Reasoning About Security Models |
102
click to vote
FM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
77
Voted
INFOCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— We develop an economic model for networks offering tiered services and we formulate the problem of selecting the service tiers from three perspectives: one that conside...
93
Voted
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Techniques to update executing programs are needed to maintain software for which downtime is not an option. Without guidelines, dynamic update may provoke unreliable and unpredic...
113
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
112
Voted
CONTEXT
2007
Springer
15 years 7 months ago
2007
Springer
Ambient intelligent systems are context aware by perceiving and reasoning about their environment, they perceive the needs of their users and proactively respond to these needs by ...