14824 search results - page 237 / 2965 » Security - Introduction |
174
click to vote
CL
2002
Springer
15 years 6 months ago
2002
Springer
A new notion of security boundary is introduced to model multilevel security policies in the scenario of mobile systems, within Cardelli and Gordon's "pure" mobile ...
175
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
165
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Users generally have difficulty understanding and managing computer security tasks. We examined Nintendo's Brain Age games for ways to help users remember more secure passwor...
222
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Network security is a complex and challenging problem. The area of network defense mechanism design is receiving immense attention from the research community for more than two de...
177
click to vote
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...