14824 search results - page 2273 / 2965 » Security - Introduction |
160
Voted
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
File distribution is becoming a key technology, in particular in large scale content broadcasting systems like DVBH/SH. They largely rely on Application Level FEC codes (ALFEC) in ...
194
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
Cloud computing environments allow customers to execute arbitrary code on hardware owned by a cloud provider. While cloud providers use virtualization to ensure isolation between ...
183
click to vote
AINA
2010
IEEE
15 years 10 months ago
2010
IEEE
—Web-based systems commonly face unique set of vulnerabilities and security threats due to their high exposure, access by browsers, and integration with databases. In this paper ...
174
click to vote
APCHI
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. Access control within a ubiquitous networking environment is a critical issue. Traditional access control methods have mainly relied on the authentication of registered u...
176
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...