2213 search results - page 135 / 443 » Software Security |
161
click to vote
SP
2007
IEEE
16 years 23 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 ...
155
click to vote
RE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Security requirements often have implicit assumptions about trust relationships among actors. The more actors trust each other, the less stringent the security requireme...
140
click to vote
EUROMICRO
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...
192
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
We present and empirically analyze a machine-learning approach for detecting intrusions on individual computers. Our Winnowbased algorithm continually monitors user and system beh...
151
click to vote
FSEN
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...