5843 search results - page 235 / 1169 » Software Security in Practice |
239
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
In co-located software development, diagramming practices, such as sketching ideas out with a pen and paper, support the creative process and allow designers to shape, analyze, an...
160
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
128
click to vote
CGO
2006
IEEE
15 years 9 months ago
2006
IEEE
In this work, we present several compiler optimizations to reduce the overhead due to software protection. We first propose an aggressive rematerialization algorithm which attempt...
135
click to vote
ISSA
2008
15 years 7 months ago
2008
The drive from the South African Government towards the adoption of open source software across all platforms, incurred a number of research and development questions. The open so...
138
click to vote
ICSE
2007
IEEE-ACM
16 years 5 months ago
2007
IEEE-ACM
er abstract summarizes the Threat Modeling method based on Attacking Path Analysis (T-MAP) which quantifies and prioritizes security threats by calculating the total severity weig...