977 search results - page 37 / 196 » Soft Constraints for Security |
DSRT
2008
IEEE
15 years 4 months 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...
CCS
2001
ACM
15 years 2 months ago
2001
ACM
The reachability problem for cryptographic protocols with nonatomic keys can be solved via a simple constraint satisfaction procedure.
SAS
2004
Springer
15 years 3 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 ...
ICC
2007
IEEE
15 years 4 months 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...
110
click to vote
GLOBECOM
2008
IEEE
15 years 4 months 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 ...