101 search results - page 16 / 21 » Formal approach to security metrics.: what does |
122
click to vote
IEEEARES
2007
IEEE
15 years 6 months ago
2007
IEEE
Access control in decentralised collaborative systems present huge challenges especially where many autonomous entities including organisations, humans, software agents from diff...
109
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
124
Voted
GEOS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
106
Voted
GI
2010
Springer
14 years 10 months ago
2010
Springer
: In this article, it is proven for finite systems that if by reciprocal interaction, one finite system determines the action of another finite system, then both systems become sub...
115
Voted
ICISC
2009
14 years 10 months ago
2009
Minimizing complexity of group key exchange (GKE) protocols is an important milestone towards their practical deployment. An interesting approach to achieve this goal is to simplif...