1825 search results - page 145 / 365 » Cryptographic Securities Exchanges |
131
click to vote
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...
139
click to vote
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
130
click to vote
ADT
2006
15 years 4 months ago
2006
Data confidentiality has become a major concern for individuals as well as for companies and administrations. In a classical client-server setting, the access control management is...
115
click to vote
COMCOM
2000
15 years 3 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
The security of digital images attracts much attention recently, and many different image encryption methods have been proposed. In 1999, J.-C. Yen and J.-I. Guo proposed a novel ...