977 search results - page 87 / 196 » Soft Constraints for Security |
121
click to vote
ACSW
2006
15 years 3 months ago
2006
Supervisory Control And Data Acquisition (SCADA) systems are widely used in the management of critical infrastructure such as electricity and water distrubution systems. Currently...
112
click to vote
CASCON
2006
15 years 3 months ago
2006
Protocol tester is a project at RMC and Queen's that applies program transformation techniques to protocol data to evaluate the security of network applications. As part of t...
127
Voted
CP
2011
Springer
14 years 1 months ago
2011
Springer
We introduce tractable classes of VCSP instances based on convex cost functions. Firstly, we show that the class of VCSP instances satisfying the hierarchically nested convexity pr...
109
Voted
SAFECOMP
1999
Springer
15 years 5 months ago
1999
Springer
We present an ongoing experience aimed at introducing statistical process control techniques to one crucial test phase, namely Function Test, of a real world software development p...
127
click to vote
DAC
2008
ACM
15 years 3 months ago
2008
ACM
Our work addresses protection of hardware IP at the mask level with the goal of preventing unauthorized manufacturing. The proposed protocol based on chip locking and activation i...