12637 search results - page 368 / 2528 » Security for Extensible Systems |
172
click to vote
IJACTAICIT
2010
15 years 4 months ago
2010
In the e-age, internet and e-affairs are the composite blend of business process and technology; the organization must retain the state of computing system or risk malicious assau...
205
click to vote
CSFW
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
200
click to vote
ESORICS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
172
click to vote
EUROCRYPT
2003
Springer
15 years 12 months ago
2003
Springer
Cryptographic computations are often carried out on insecure devices for which the threat of key exposure represents a serious concern. Forward security allows one to mitigate the...
177
click to vote
ISCI
2008
15 years 6 months ago
2008
Directed signature scheme allows only a designated verifier to check the validity of the signature issued to him; and at the time of trouble or if necessary, any third party can v...