8623 search results - page 317 / 1725 » Software engineering for secure systems |
213
click to vote
CCS
2005
ACM
16 years 9 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
157
click to vote
DRM
2005
Springer
16 years 9 days ago
2005
Springer
Advances in reverse engineering and program analyses have made software extremely vulnerable to malicious host attacks. These attacks typically take the form of intellectual prope...
206
click to vote
ECBS
1996
IEEE
15 years 11 months ago
1996
IEEE
Naval Surface Warfare Center Dahlgren Division; under joint sponsorship of the Office of Naval Research; the Naval Command, Control, and Ocean Surveillance Center; and the Naval S...
158
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
When software is modified, during development and maintenance, it is regression tested to provide confidence that the changes did not introduce unexpected errors and that new feat...
263
click to vote
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...