288 search results - page 43 / 58 » Formal Analysis of Workflow Systems with Security Considerat... |
SIGCOMM
2010
ACM
14 years 10 months ago
2010
ACM
Recently, there has been much excitement in the research community over using social networks to mitigate multiple identity, or Sybil, attacks. A number of schemes have been propo...
ECOOP
2012
Springer
13 years 4 days ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
CCS
2006
ACM
15 years 1 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...
FORMATS
2007
Springer
15 years 3 months ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
SCAM
2008
IEEE
15 years 4 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...