624 search results - page 119 / 125 » Application of Lightweight Formal Methods to Software Securi... |
COMSWARE
2007
IEEE
15 years 3 months ago
2007
IEEE
—Traditional authentication systems employed on Internet are facing an acute problem of intrusions. In this context we propose a neural architecture for user authentication throu...
GLOBECOM
2007
IEEE
15 years 3 months ago
2007
IEEE
—Measurement and monitoring of network topologies are essential tasks in current network scenarios. Indeed, due to their utility in planning, management, security, and reliabilit...
IPOM
2005
Springer
15 years 2 months ago
2005
Springer
—Measurement and monitoring of network topologies are essential tasks in current network scenarios. Indeed, due to their utility in planning, management, security, and reliabilit...
MMSEC
2004
ACM
15 years 2 months ago
2004
ACM
This paper outlines a strategy to discriminate different ISO/ MPEG 1 Audio Layer-3 (MP3) encoding programs by statistical particularities of the compressed audio streams. We use ...
MMSEC
2004
ACM
15 years 2 months ago
2004
ACM
When a host image is watermarked multiple times by the same algorithm collisions can occur. This makes it difficult for an image to host multiple watermarks. But this hosting is n...