8623 search results - page 233 / 1725 » Software engineering for secure systems |
151
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
141
click to vote
CODES
2007
IEEE
15 years 12 months ago
2007
IEEE
Security is gaining increasing relevance in the development of embedded devices. Towards a secure system at each level of design, this paper addresses the security aspects related...
185
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
This work presents a detailed analysis of the security requirements for Service Oriented Architecture in mobile computing, still missing in the current literature. The purpose of ...
150
click to vote
ISSTA
2009
ACM
16 years 1 days ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
168
click to vote
KBSE
2010
IEEE
15 years 3 months ago
2010
IEEE
Scientists today conduct new research via software-based experimentation and validation in a host of disciplines, including materials science, life sciences, astronomy, and physic...