1054 search results - page 48 / 211 » From a Verified Kernel towards Verified Systems |
115
click to vote
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Peer-to-peer content distribution networks can suffer from malicious participants that corrupt content. Current systems verify blocks with traditional cryptographic sig...
107
click to vote
IJACTAICIT
2010
14 years 11 months ago
2010
Online service is an important driving force behind many of today's Web 2.0 applications. For security and privacy concerns, authentication is required for all of services th...
ICDAR
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper presents a pioneering effort towards machine authentication of security documents like bank cheques, legal deeds, certificates, etc. that fall under the same class as f...
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
107
click to vote
CSFW
2007
IEEE
15 years 5 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...