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 8 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 4 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
13 years 11 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