Sciweavers

67 search results - page 1 / 14
» Toward a Mathematical Foundation for Information Flow Securi...
Sort
View
MPC
1998
Springer
81views Mathematics» more  MPC 1998»
13 years 10 months ago
A Semantic Approach to Secure Information Flow
K. Rustan M. Leino, Rajeev Joshi
CORR
2010
Springer
143views Education» more  CORR 2010»
13 years 6 months ago
Mathematical Foundations for a Compositional Distributional Model of Meaning
We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, fo...
Bob Coecke, Mehrnoosh Sadrzadeh, Stephen Clark
FOSSACS
2009
Springer
14 years 1 months ago
On the Foundations of Quantitative Information Flow
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
Geoffrey Smith