509 search results - page 59 / 102 » Preserving Properties Under Change |
FOSSACS
2009
Springer
14 years 3 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
ISCAS
2008
IEEE
14 years 3 months ago
2008
IEEE
— From copyright protection to error concealment, video data hiding has found usage in a great number of applications. Recently proposed applications such as privacy data preserv...
ESORICS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
SAINT
2006
IEEE
14 years 2 months ago
2006
IEEE
Despite the scalability, availability and resiliency potential suggested by Distributed Hash Tables, their lack of support for replication of mutable data and for strong consisten...
GRAPHITE
2005
ACM
14 years 2 months ago
2005
ACM
A technique is presented for generating implicit sweep objects that support direct specification and manipulation of the surface with no topological limitations on the 2D sweep t...