1278 search results - page 238 / 256 » Programming Sensor Networks Using Abstract Regions |
231
Voted
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Software has become strategic to developing effective distributed real-time and embedded (DRE) systems. Next-generation DRE systems, such as total ship computing environments, coo...
190
Voted
TCC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
156
Voted
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Many embedded systems use single-chip microcontrollers which have no on-chip RAM. In such a system, the processor registers must hold all live data values. Nanocontroller...
182
Voted
VIZSEC
2007
Springer
16 years 14 days ago
2007
Springer
Abstract Attack graphs for large enterprise networks improve security by revealing critical paths used by adversaries to capture network assets. Even with simplification, current a...
181
Voted
IEEESP
2006
15 years 6 months ago
2006
t a single security abstraction layer, but rather is a roblem spanning multiple abstraction levels. We use an embedded biometric authentication device to demonstratethenecessityofa...