5119 search results - page 265 / 1024 » Security Privacy |
155
click to vote
SP
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
155
click to vote
INFOCOM
2006
IEEE
16 years 9 days ago
2006
IEEE
— Traditional network routing uses the single (shortest) path paradigm. This paradigm leaves the session vulnerable to a variety of security threats, such as eavesdropping. We pr...
163
Voted
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
151
click to vote
CCS
1998
ACM
15 years 10 months ago
1998
ACM
State-of-the-art and emerging scientific applications require fast access to large quantities of data and commensurately fast computational resources. Both resources and data are ...
153
click to vote
IEEEARES
2010
IEEE
15 years 11 months ago
2010
IEEE
—Deploying a security policy may prove difficult whenever the system does not embed all necessary security functionalities. Some specific functionalities are required to accura...