4290 search results - page 688 / 858 » Formal Approaches to Teamwork |
142
click to vote
CCS
2007
ACM
16 years 21 days ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
188
click to vote
CCS
2007
ACM
16 years 21 days ago
2007
ACM
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...
209
click to vote
CIA
2007
Springer
16 years 21 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...
184
click to vote
EPIA
2007
Springer
16 years 20 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 20 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 ...