14824 search results - page 184 / 2965 » Security - Introduction |
189
click to vote
COMPSEC
2004
15 years 6 months ago
2004
Security technology suitable for the burgeoning embedded system market has not been widespread. Untrusted code downloaded from the Internet poses numerous security risks due to th...
152
click to vote
JCS
2002
15 years 6 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
179
click to vote
FOCS
2010
IEEE
15 years 4 months ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
270
click to vote
AICT
2010
IEEE
14 years 10 months ago
2010
IEEE
— Several research groups are working on designing new security architectures for 4G networks such as Hokey and Y-Comm. Since designing an efficient security module requires a cl...
141
click to vote
ACISP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A security proof in the Bellare