5488 search results - page 625 / 1098 » On the Secure Implementation of Security Protocols |
188
Voted
CRYPTO
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. While there is a great deal of sophistication in modern cryptology, simple (and simplistic) explanations of cryptography remain useful and perhaps necessary. Many of the ...
186
Voted
ICS
2003
Tsinghua U.
16 years 2 days ago
2003
Tsinghua U.
We describe the architecture for a single-chip aegis processor which can be used to build computing systems secure against both physical and software attacks. Our architecture ass...
187
click to vote
TISSEC
2010
15 years 1 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
165
click to vote
WECWIS
2003
IEEE
16 years 4 days ago
2003
IEEE
In the business world, exchange of signatures or receipts is a common practice in case of future dispute. Likewise, it is critical in E-commerce applications to have the security ...
158
Voted
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...