718 search results - page 109 / 144 » Security protocols, properties, and their monitoring |
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
124
click to vote
ADHOCNOW
2006
Springer
15 years 8 months ago
2006
Springer
Recently, identity-based cryptographic (IBC) schemes have been considered to secure mobile ad hoc networks (MANETs) due to their efficient key management properties. However, propo...
110
click to vote
ACSAC
2010
IEEE
14 years 12 months ago
2010
IEEE
Worms propagating in online social networking (OSN) websites have become a major security threat to both the websites and their users in recent years. Since these worms exhibit un...
134
click to vote
ACNS
2009
Springer
15 years 8 months ago
2009
Springer
We enrich the classical notion of group key exchange (GKE) protocols by a new property that allows each pair of users to derive an independent peer-to-peer (p2p) key on-demand and ...
122
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
The paper describes a metaobject architecture for distributed fault tolerant systems. Basically metaobject protocols enables functional objects to be independent from meta-function...