2897 search results - page 296 / 580 » Mobile Code Security |
147
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Current systems for banking authentication require that customers not reveal their access codes, even to members of the family. A study of banking and security in Australia shows ...
192
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
163
click to vote
SP
2007
IEEE
16 years 28 days ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
190
click to vote
ESAS
2007
Springer
16 years 25 days ago
2007
Springer
RFID-tags can be seen as a new generation of bar codes with added functionality. They are becoming very popular tools for identification of products in various applications such a...
160
click to vote
ACSAC
2005
IEEE
16 years 9 days ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...