11603 search results - page 352 / 2321 » Embedded System Security |
117
Voted
CASES
2004
ACM
16 years 3 days ago
2004
ACM
173
click to vote
SFM
2004
Springer
16 years 21 hour 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...
165
click to vote
EUROPKI
2007
Springer
16 years 25 days 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...