2513 search results - page 14 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
ICFEM
2005
Springer
14 years 3 months ago
2005
Springer
COMPSEC
2010
13 years 6 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
AMAST
2008
Springer
13 years 12 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
WSC
2001
13 years 11 months ago
2001
In models of military operations it is important to include the Command and Control (C2) process in order to achieve a realistic simulation of a military force's behaviour an...
JOT
2008
13 years 9 months ago
2008
In recent years, agent-based systems have received considerable attention in both academics and industry. The agent-oriented paradigm can be considered a natural extension to the ...