2513 search results - page 14 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
ICFEM
2005
Springer
15 years 3 months ago
2005
Springer
COMPSEC
2010
14 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
14 years 11 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...
78
Voted
WSC
2001
14 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...
103
click to vote
JOT
2008
14 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 ...