4731 search results - page 398 / 947 » Securing Interactive Programs |
160
click to vote
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
175
Voted
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
With SeCuUI we present a solution that aims to increase security of data entry on public terminals. The user can enter all data requested by the terminal using her mobile device. ...
170
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
188
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Theoretically motivated planning systems often make assumptions about their environments, in areas such as the predictability of action e ects, static behavior of the environment,...
159
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Penetration tests on IT systems are sometimes coupled with physical penetration tests and social engineering. In physical penetration tests where social engineering is allowed, th...