288 search results - page 57 / 58 » Formal Analysis of Workflow Systems with Security Considerat... |
SIGIR
2010
ACM
13 years 10 months ago
2010
ACM
Web-based social systems enable new community-based opportunities for participants to engage, share, and interact. This community value and related services like search and advert...
POPL
2004
ACM
14 years 6 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
OOPSLA
2010
Springer
13 years 4 months ago
2010
Springer
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
CRYPTO
2009
Springer
14 years 26 days ago
2009
Springer
Most of the work in the analysis of cryptographic schemes is concentrated in abstract adversarial models that do not capture side-channel attacks. Such attacks exploit various for...
IPSN
2007
Springer
14 years 13 days ago
2007
Springer
FlashDB is a self-tuning database optimized for sensor networks using NAND flash storage. In practical systems flash is used in different packages such as on-board flash chips,...