1599 search results - page 262 / 320 » Program Analysis for Security and Privacy |
ICC
2008
IEEE
15 years 6 months ago
2008
IEEE
—In this paper, we discuss how to prevent users’ passwords from being stolen by adversaries. We propose differentiated security mechanisms in which a user has the freedom to ch...
DOCENG
2010
ACM
15 years 28 days ago
2010
ACM
: APEX: Automated Policy Enforcement eXchange Steven J. Simske, Helen Balinsky HP Laboratories HPL-2010-134 Policy, Text Analysis, Policy Server, Policy Editor, Document Systems, ...
ICSE
2009
IEEE-ACM
16 years 19 days ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
This paper focuses on the usability of the PINPAS tool. The PINPAS tool is an instruction-level interpreter for smartcard assembler languages, augmented with facilities to study si...
103
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...