2236 search results - page 338 / 448 » Secure Software Design in Practice |
134
click to vote
SACMAT
2006
ACM
15 years 9 months ago
2006
ACM
We propose an integrity measurement approach based on information flow integrity, which we call the Policy-Reduced Integrity Measurement Architecture (PRIMA). The recent availabi...
119
click to vote
WISA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Cryptographic algorithms are used in a large variety of different applications to ensure security services. It is, thus, very interesting to investigate various implement...
128
Voted
USS
2008
15 years 5 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
125
click to vote
CCS
2011
ACM
14 years 3 months ago
2011
ACM
Search engine optimization (SEO) techniques are often abused to promote websites among search results. This is a practice known as blackhat SEO. In this paper we tackle a newly em...
117
click to vote
AGENTS
1997
Springer
15 years 7 months ago
1997
Springer
The Robot World Cup Initiative (RoboCup) is an attempt to foster AI and intelligent robotics research by providing a standard problem where wide range of technologies can be integ...