4211 search results - page 700 / 843 » A formal approach to MASQ |
208
click to vote
CIA
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We present a trust model extension that attempts to relax the assumptions that are currently taken by the majority of existing trust models: (i) proven identity of agents...
183
click to vote
EPIA
2007
Springer
16 years 19 days ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
177
click to vote
ER
2007
Springer
16 years 19 days ago
2007
Springer
Schema mappings come in different flavors: simple correspondences are produced by schema matchers, intensional mappings are used for schema integration. However, the execution of ...
181
click to vote
ESORICS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
158
click to vote
ESWS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...