Sciweavers

2897 search results - page 192 / 580
» Mobile Code Security
Sort
View
VTC
2006
IEEE
101views Communications» more  VTC 2006»
16 years 15 days ago
Application Layer FEC for Improved Mobile Reception of DVB-H Streaming Services
— This paper evaluates the capability of Application Layer - Forward Error Correction (AL-FEC) with Raptor coding for improving the reception of DVB-H streaming services for mobi...
David Gomez-Barquero, Aurelian Bria
GLOBECOM
2009
IEEE
16 years 1 months ago
Real-World VANET Security Protocol Performance
—Many results have been published in the literature based on performance measurements obtained from simulations of Vehicular Networks (VANETs). These simulations use as input tra...
Jason J. Haas, Yih-Chun Hu, Kenneth P. Laberteaux
IEEEIAS
2008
IEEE
16 years 28 days ago
Developing a Security Typed Java Servlet
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
Doaa Hassan, Sherif El-Kassas, Ibrahim Ziedan
CCS
2003
ACM
15 years 11 months ago
MECA: an extensible, expressive system and language for statically checking security properties
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. ...
ACMSE
2006
ACM
16 years 15 days ago
Static analysis of anomalies and security vulnerabilities in executable files
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...
Jay-Evan J. Tevis, John A. Hamilton Jr.