6137 search results - page 395 / 1228 » Securing Collaborative Applications |
212
click to vote
MICRO
2006
IEEE
16 years 26 days ago
2006
IEEE
Computer security is severely threatened by software vulnerabilities. Prior work shows that information flow tracking (also referred to as taint analysis) is a promising techniqu...
200
click to vote
TKDE
2002
15 years 6 months ago
2002
Database systems for real-time applications must satisfy timing constraints associated with transactions. Typically, a timing constraint is expressed in the form of a deadline and ...
154
click to vote
CSFW
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
188
click to vote
SIGOPSE
2004
ACM
16 years 8 days ago
2004
ACM
Secure systems are best built on top of a small trusted operating system: The smaller the operating system, the easier it can be assured or verified for correctness. In this pape...
194
click to vote
ACSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
A business's success depends on its ability to protect valuable business assets in an increasingly hostile environment. Protecting information requires a cost, not only in pu...