694 search results - page 60 / 139 » Security and Usability: Analysis and Evaluation |
109
click to vote
ISICT
2003
15 years 1 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
JDCTA
2010
14 years 6 months ago
2010
This paper analyzes performance of MEGACO (Media Gateway Control Protocol) based on Diameter which is an Authentication, Authorization,andAccounting (AAA) protocol developed withi...
PET
2007
Springer
15 years 6 months ago
2007
Springer
We introduce a new traffic analysis attack: the Two-sided Statistical Disclosure Attack, that tries to uncover the receivers of messages sent through an anonymizing network support...
111
click to vote
IOT
2010
14 years 9 months ago
2010
Persuasive energy monitoring technology has the potential to inspire sustainable energy lifestyles within the home. However, to effect positive ecological behaviour change, a more ...
ACSC
2006
IEEE
15 years 3 months ago
2006
IEEE
Communications devices intended for use in securitycritical applications must be rigorously evaluated to ensure they preserve data confidentiality. This process includes tracing t...