1757 search results - page 21 / 352 » Secure Content Validation |
INFOCOM
2002
IEEE
14 years 10 days ago
2002
IEEE
Forcing all IP packets to carry correct source addresses can greatly help network security, attack tracing, and network problem debugging. However, due to asymmetries in toda...
APCSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
We examine secure computing paradigms to identify any new architectural challenges for future general-purpose processors. Some essential security functions can be provided by diffe...
TIM
2010
13 years 2 months ago
2010
In the last few years, the growing complexity of the electrical power networks, mainly due to the increased use of electronic converters together with the requirements of a higher ...
ACSD
2003
IEEE
14 years 21 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
FCCM
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper describes the package of test bench code required to verify the Algotronix' AES IP Core. Several authors (see the references in [3]) have published papers detailing...