11603 search results - page 352 / 2321 » Securing Embedded Systems |
184
click to vote
SFM
2004
Springer
16 years 18 days ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
185
click to vote
EUROPKI
2007
Springer
16 years 1 months ago
2007
Springer
Even more than in our physical world, in our digital world we need systems that meet the security objective of service providers and users in equal measure. This paper investigates...