54 search results - page 11 / 11 » Assessing Security Properties of Software Components: A Soft... |
POPL
2008
ACM
14 years 6 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
SIGSOFT
2003
ACM
14 years 6 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
MUM
2005
ACM
13 years 11 months ago
2005
ACM
This paper proposes an intelligent mobile middleware utilizing group-based content push with dynamic session startup and plugand-play features. Solution enhances the distribution ...
EUROSYS
2006
ACM
14 years 2 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...