2043 search results - page 157 / 409 » Reasoning About Security Models |
126
click to vote
AIIA
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper presents and motivates an extended ontology conceptual model which represents explicitly semantic information about concepts. This model results from explicitl...
152
click to vote
RTA
2005
Springer
15 years 10 months ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
158
Voted
FUIN
2007
15 years 5 months ago
2007
Proof-carryingcode provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set o...
158
click to vote
EUROCRYPT
2007
Springer
15 years 11 months ago
2007
Springer
We study an adaptive variant of oblivious transfer in which a sender has N messages, of which a receiver can adaptively choose to receive k one-after-the-other, in such a way that ...
149
click to vote
JCP
2007
15 years 5 months ago
2007
Abstract— In this paper, we develop a mixed-initiative intelligent tutor for the game of Sudoku called MITS. We begin by developing a characterization of the strategies used in S...