5084 search results - page 65 / 1017 » Proving Possibility Properties |
CISC
2008
Springer
13 years 12 months ago
2008
Springer
Proxy re-encryption is a cryptographic primitive developed to delegate the decryption right from one party (the delegator) to another (the delegatee). So far, research efforts hav...
ICWSM
2008
13 years 11 months ago
2008
This paper presents an analysis of the correlation of annotated information unit (textual) tags and geographical identification metadata geotags. In this paper, to make it possibl...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The intrinsically secure communications graph (-graph) is a random graph which captures the connections that can be securely established over a large-scale network, in the presence...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
ENTCS
2010
13 years 10 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...