Login / Signup
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces.
Fan Yang
Tomoyuki Aotani
Hidehiko Masuhara
Flemming Nielson
Hanne Riis Nielson
Published in:
COORDINATION (2011)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
distributed systems
abstract interpretation
distributed environment
multi agent
malicious code
test generation
peer to peer
java card
regular expressions
test suite
client server
information security
mobile agents
query processing