11603 search results - page 615 / 2321 » Securing Embedded Systems |
199
Voted
JCP
2008
15 years 7 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
207
Voted
ICONS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
177
Voted
RTCSA
1995
IEEE
15 years 10 months ago
1995
IEEE
In conventional database systems, performance is primarily measured by the number of transactions completed within a unit time. In real-time applications, timing and criticality c...
199
Voted
SOUPS
2005
ACM
16 years 26 days ago
2005
ACM
In our research, we have been concerned with the question of how to make relevant features of security situations visible to users in order to allow them to make informed decision...
195
Voted
ICIP
2006
IEEE
16 years 9 months ago
2006
IEEE
Abstract-- This paper presents an authentication watermarking method which can localize the tampering regions in fine granularity. Unlike the previous block-wise Tampering-Localiza...