11603 search results - page 2232 / 2321 » Securing Embedded Systems |
115
click to vote
FM
2005
Springer
15 years 7 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
131
click to vote
SAFECOMP
2005
Springer
15 years 7 months ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
120
Voted
IMC
2004
ACM
15 years 7 months ago
2004
ACM
Current intrusion detection and prevention systems seek to detect a wide class of network intrusions (e.g., DoS attacks, worms, port scans) at network vantage points. Unfortunatel...
161
click to vote
PODC
2003
ACM
15 years 7 months ago
2003
ACM
Traitor Tracing Schemes constitute a very useful tool against piracy in the context of digital content broadcast. In such multi-recipient encryption schemes, each decryption key is...
121
click to vote
SIGUCCS
2003
ACM
15 years 7 months ago
2003
ACM
The Ringling School of Art and Design is a fully accredited four year college of visual art and design with a student population of approximately 1000. The Ringling School has ach...