3003 search results - page 212 / 601 » Software Security: Building Security In |
134
Voted
OOPSLA
2009
Springer
15 years 11 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...
135
click to vote
SP
2005
IEEE
15 years 10 months ago
2005
IEEE
Self-checking software tamper resistance mechanisms employing checksums, including advanced systems as recently proposed by Chang and Atallah (2002) and Horne et al. (2002), have ...
131
click to vote
ISSE
2010
15 years 3 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
118
Voted
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new fo...
109
click to vote
AGENTS
1997
Springer
15 years 9 months ago
1997
Springer
: Software agents comprise a new area for research and soon will be embedded and ubiquitous in modern computing systems. In this formative phase, it is important to develop compreh...