977 search results - page 37 / 196 » Soft Constraints for Security |
159
click to vote
DSRT
2008
IEEE
16 years 19 days ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
160
click to vote
CCS
2001
ACM
15 years 10 months ago
2001
ACM
The reachability problem for cryptographic protocols with nonatomic keys can be solved via a simple constraint satisfaction procedure.
164
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
168
click to vote
ICC
2007
IEEE
16 years 14 days ago
2007
IEEE
— Joint cooperative processing of transmitted signal from several multiple-input multiple-output (MIMO) base station (BS) antenna heads is considered for users located within a s...
194
click to vote
GLOBECOM
2008
IEEE
16 years 19 days ago
2008
IEEE
—We present a blind turbo equalizer for QAM signals that exploits the statistics that a channel code imposes on the transmitted signal. The receiver is an adaptation of previous ...