495 search results - page 96 / 99 » MASC - Monitoring and Security of Containers |
ESEC
1999
Springer
15 years 2 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
107
click to vote
ECBS
1996
IEEE
15 years 2 months ago
1996
IEEE
Naval Surface Warfare Center Dahlgren Division; under joint sponsorship of the Office of Naval Research; the Naval Command, Control, and Ocean Surveillance Center; and the Naval S...
SIGIR
2010
ACM
15 years 2 months ago
2010
ACM
Web-based social systems enable new community-based opportunities for participants to engage, share, and interact. This community value and related services like search and advert...
DSN
2004
IEEE
15 years 1 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
DATE
2006
IEEE
15 years 1 months ago
2006
IEEE
- Many electronic systems contain implementations of cryptographic algorithms in order to provide security. It is well known that cryptographic algorithms, irrespective of their th...