506 search results - page 66 / 102 » Constructor-based observational logic |
105
Voted
ADHOCNOW
2008
Springer
15 years 7 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
115
Voted
PLDI
2009
ACM
15 years 5 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
110
click to vote
ATS
2000
IEEE
15 years 5 months ago
2000
IEEE
Testing of embedded cores is very difficult in SOC (system-on-a-chip), since the core user may not know the gate level implementation of the core, and the controllability and obse...
102
click to vote
PODC
1997
ACM
15 years 4 months ago
1997
ACM
Thispaperdescribesanewschemeforguaranteeingthattransactions in a client/server system observe consistent state while they are running. The scheme is presented in conjunction with ...
110
click to vote
DAC
2007
ACM
15 years 4 months ago
2007
ACM
While cryptographic algorithms are usually strong against mathematical attacks, their practical implementation, both in software and in hardware, opens the door to side-channel at...