946 search results - page 73 / 190 » Software engineering for security: a roadmap |
100
click to vote
PLDI
2012
ACM
13 years 8 days ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
CSSE
2008
IEEE
15 years 4 months ago
2008
IEEE
—Risk assessment is a very important tool to acquire a present and future security status of the network information system. Many risk assessment approaches consider the present ...
FSTTCS
2007
Springer
15 years 4 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
OOPSLA
1993
Springer
15 years 1 months ago
1993
Springer
iam Pugh. Advice to authors of extended abstracts. http://www.acm.org/sigplan/conferences/author-info/pughadvice.html. [7] Mary Shaw. Writing good software engineering research pap...
ISCC
2005
IEEE
15 years 3 months ago
2005
IEEE
As the Internet grows at a very rapid pace, so does the incidence of attack events and documented unlawful intrusions. The Network Intrusion Detection Systems (NIDSes) are designe...