1825 search results - page 29 / 365 » Cryptographic Securities Exchanges |
77
Voted
IPL
2010
15 years 1 months ago
2010
Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequence...
119
Voted
ICICS
2005
Springer
15 years 8 months ago
2005
Springer
Software that covertly monitors a user’s actions, also known as spyware, has become a first-level security threat due to its ubiquity and the difficulty of detecting and remov...
123
click to vote
SP
2007
IEEE
15 years 8 months ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...
90
Voted
DEPCOS
2008
IEEE
15 years 9 months ago
2008
IEEE
83
Voted
EUROCRYPT
2009
Springer
15 years 7 months ago
2009
Springer