3516 search results - page 275 / 704 » Integrating Security Modeling into Embedded System Design |
141
click to vote
SSS
2007
Springer
15 years 10 months ago
2007
Springer
We present a modular redesign of TrustedPals, a smartcard-based security framework for solving secure multiparty computation (SMC)[?]. TrustedPals allows to reduce SMC to the probl...
149
click to vote
IJWIS
2007
15 years 3 months ago
2007
Purpose – This paper aims to address some security issues in open systems such as service-oriented applications and grid computing. It proposes a security framework for these sy...
141
click to vote
SENSYS
2003
ACM
15 years 9 months ago
2003
ACM
An effective approach for energy conservation in wireless sensor networks is scheduling sleep intervals for extraneous nodes, while the remaining nodes stay active to provide cont...
131
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
Several different kinds of performance models can be generated from sets of scenarios that describe typical responses of a system, and their use of resources. The Core Scenario Mod...
130
Voted
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...