297 search results - page 50 / 60 » Formal Analysis of a Non-Repudiation Protocol |
MOBIHOC
2007
ACM
14 years 7 months ago
2007
ACM
A number of studies have shown the abundance of unused spectrum in the TV bands. This is in stark contrast to the overcrowding of wireless devices in the ISM bands. A recent trend...
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
CRYPTO
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. While there is a great deal of sophistication in modern cryptology, simple (and simplistic) explanations of cryptography remain useful and perhaps necessary. Many of the ...
PLDI
2009
ACM
14 years 8 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
CSFW
2003
IEEE
14 years 26 days ago
2003
IEEE
A type confusion attack is one in which a principal accepts data of one type as data of another. Although it has been shown by Heather et al. that there are simple formatting conv...