1690 search results - page 217 / 338 » A Security Framework for JXTA-Overlay |
161
click to vote
IJNSEC
2006
15 years 6 months ago
2006
Access control is an important issue in information security. It is a necessary mechanism for protecting data in a computer system. In this paper, we apply support vector machines...
195
click to vote
ISI
2006
Springer
15 years 6 months ago
2006
Springer
Statistical language models can learn relationships between topics discussed in a document collection and persons, organizations and places mentioned in each document. We present a...
147
click to vote
CSI
2007
15 years 6 months ago
2007
We propose a generic framework for the development of an off-line peer-to-peer electronic payment system with fixed-value electronic coins. The proposed scheme simulates the issua...
179
click to vote
MSCS
2008
15 years 6 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
159
click to vote
ISSE
2010
15 years 5 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...