3003 search results - page 250 / 601 » Software Security: Building Security In |
175
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
This paper gives a technical description of Creatures, a commercial home-entertainment software package. Creatures provides a simulated environment in which exist a number of synt...
128
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
Abstract. RF-powered smart cards are widely used in different application areas today. For smart cards not only performance is an important attribute, but also the power consumed ...
150
click to vote
JAR
2006
15 years 5 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
249
click to vote
CLUSTER
1999
IEEE
15 years 5 months ago
1999
IEEE
To secure interactive multimedia applications in wireless LANs WLANs it is pertinent to implement real time cryptographic services. In this paper we evaluate the use of software b...
173
Voted
EUROSYS
2006
ACM
16 years 2 months ago
2006
ACM
The large size and high complexity of securitysensitive applications and systems software is a primary cause for their poor testability and high vulnerability. One approach to all...