1183 search results - page 2 / 237 » On flow-sensitive security types |
CCS
2011
ACM
12 years 4 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
IFIP
2010
Springer
12 years 11 months ago
2010
Springer
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...
CHI
2011
ACM
12 years 8 months ago
2011
ACM
CSFW
2012
IEEE
11 years 7 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
OOPSLA
2009
Springer
13 years 11 months ago
2009
Springer
