671 search results - page 81 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
ARGMAS
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we propose a new persuasion dialogue game for agent communication. We show how this dialogue game is modeled by a framework based on social commitments and arguments....
113
click to vote
ASAP
2008
IEEE
15 years 6 months ago
2008
IEEE
Process technology has reduced in size such that it is possible to implement complete applicationspecific architectures as Systems-on-Chip (SoCs) using both Application-Specific I...
102
click to vote
EUROCAST
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
105
click to vote
ASIACRYPT
2009
Springer
15 years 6 months ago
2009
Springer
Computational puzzles are mildly difficult computational problems that require resources (processor cycles, memory, or both) to solve. Puzzles have found a variety of uses in secu...
SEC
2008
15 years 1 months ago
2008
Many applications inherently disclose information because perfect privacy protection is prohibitively expensive. RFID tags, for example, cannot be equipped with the cryptographic p...