Filters








28,905 Hits in 3.7 sec

Preface to the special issue on quantitative information flow

MIGUEL E. ANDRÉS, CATUSCIA PALAMIDESSI, GEOFFREY SMITH
2014 Mathematical Structures in Computer Science  
From the perspective of foundations, there have been a variety of studies aimed at defining quantitative measures of information flow for a variety of system models, establishing the operational significance  ...  For these reasons, the possibility of quantifying information flow becomes attractive, as this could allow certain improper flows to be tolerated on the grounds that they are 'small'.  ...  In Algebraic Foundations for Quantitative Information Flow, Malacaria explores the foundations of quantitative information flow in the special case of deterministic systems.  ... 
doi:10.1017/s0960129513000583 fatcat:ev7diiuwwvfi5czc7yz6jcrgxu

Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond

Alessandro Aldini
2020 Electronic Proceedings in Theoretical Computer Science  
In the same period, they represented the central theme of the series of workshops entitled Quantitative Aspects of Programming Languages and Systems (QAPL) and born in 2001.  ...  Quantitative aspects of computation are related to the use of both physical and mathematical quantities, including time, performance metrics, probability, and measures for reliability and security.  ...  Information flow analysis and equivalence checking Information flow analysis and the problem of checking the leakage of sensitive data for programs received great attention, especially since the development  ... 
doi:10.4204/eptcs.312.1 fatcat:4fjvygbppjbq3k5ury2kvue3nq

Editorial

Stefania Gnesi, Ana Cavalcanti, John Fitzgerald, Constance Heitmeyer
2019 Formal Aspects of Computing  
They cover a wide range of topics of interest to the formal methods community-a synchronous program algebra for reasoning about concurrency, a hybrid statistical approach for reasoning about information  ...  flow, tools for proving safety properties for programs that manipulate data structures, an efficient method for identifying variability abstractions in software product lines, and formal techniques for  ...  They cover a wide range of topics of interest to the formal methods community-a synchronous program algebra for reasoning about concurrency, a hybrid statistical approach for reasoning about information  ... 
doi:10.1007/s00165-019-00481-4 fatcat:6mefal5ndfe4vbaqmxovkdij2i

Page 2046 of Mathematical Reviews Vol. , Issue 99c [page]

1991 Mathematical Reviews  
and realizes efficient quantitative representation of clause inference in the form of a flow on a graph.  ...  (English summary) Inform. Process. Lett. 67 (1998), no. 3, 145-150.  ... 

A profitable trading and risk management strategy despite transaction costs

Ahmet Duran, Michael J. Bommarito
2011 Quantitative finance (Print)  
: Mind games, an interview with Professor Caginalp about quantitative behavioral finance, Wilmott Sept 2009 (a mainstream quantitative finance magazine), pp. 52-53 PROFESSIONAL ACTIVITIES 1.  ...  • Inverse problems • Numerical analysis • Differential equations (ODE, PDE, SDE) • Dynamical systems • Wireless networking algorithms and simulation • Computer algebra RESEARCH IN THE NEWS • Cover story  ...  Book reviewer for Pearson Addison-Wesley in numerical analysis 6. Book reviewer for MIT Press in quantitative finance 7.  ... 
doi:10.1080/14697680903449815 fatcat:3xh64mlbxfaypnh5kxni3amtim

Quantitative Analysis of Secure Information Flow via Probabilistic Semantics

Chunyan Mu, David Clark
2009 2009 International Conference on Availability, Reliability and Security  
Our semantic functions provide information flow measurement for programs given secure inputs under any probability distribution.  ...  We present an automatic analyzer for measuring information flow within software systems.  ...  ACKNOWLEDGMENT This research is supported in part by the EPSRC grant EP/C009967/1 Quantitative Information Flow.  ... 
doi:10.1109/ares.2009.88 dblp:conf/IEEEares/MuC09 fatcat:dzcr5gmwzngnniwv7gwz4efu4y

Domain-Specific Automatic Programming

D.R. Barstow
1985 IEEE Transactions on Software Engineering  
over the last several years, including detailed examination of existing software for a particular domain (quantitative interpretation of oil well logs) and the implementation of an experimental automatic  ...  programming system for that domain The importance of domain knowledge has two important implications: a primary goal of automatic programming research should be to characterize the programming process  ...  According to this model, programming for quantitative log interpretation involves four activities: l Informal problem solving: This activity is concerned with informal problems involving inputs, outputs  ... 
doi:10.1109/tse.1985.231881 fatcat:a36mphnlfbh23hdfymyj32ezhq

A Perspective on Automatic Programming Used by permission of the International Joint Conferences on Artificial Intelligence; copies of the Proceedings are available from Morgan Kaufmann Publishers, Inc., 95 First St., Los Altos, CA 94055 USA [chapter]

David Barstow
1986 Readings in Artificial Intelligence and Software Engineering  
over the last several years, including detailed examination of existing software for a particular domain (quantitative interpretation of oil well logs) and the implementation of an experimental automatic  ...  programming system for that domain The importance of domain knowledge has two important implications: a primary goal of automatic programming research should be to characterize the programming process  ...  According to this model, programming for quantitative log interpretation involves four activities: l Informal problem solving: This activity is concerned with informal problems involving inputs, outputs  ... 
doi:10.1016/b978-0-934613-12-5.50045-8 fatcat:54lwld5gqva6lbes3btpuspflm

Modelling the dynamics of biosystems

C. Priami
2004 Briefings in Bioinformatics  
The need for a more formal handling of biological information processing with stochastic and mobile process algebras is addressed.  ...  Although the term bioinformatics introduced by Hwa Lim in the 1980s was intended for the study of the information content and information flow in biological processes and systems, the research has mainly  ...  For instance the process (program) P ¼ (íp)[(p!a.nil) | (p?x.x!  ... 
doi:10.1093/bib/5.3.259 pmid:15383212 fatcat:kooxjwbrnbgghjketwvsywz2pi

Information, Processes and Games [article]

Samson Abramsky
2016 arXiv   pre-print
We survey the prospects for an Information Dynamics which can serve as the basis for a fundamental theory of information, incorporating qualitative and structural as well as quantitative aspects.  ...  We look at recent work showing new ways of combining quantitative and qualitative theories of information, as embodied respectively by Domain Theory and Shannon Information Theory.  ...  I would like to express my warmest appreciation for their input. My thanks also to Jan van Eijck, who commented on the paper on behalf of the Editors,  ... 
arXiv:1604.02603v1 fatcat:2pd55isux5bldljc66zqnnpuvu

Page 1271 of Mathematical Reviews Vol. , Issue 84c [page]

1984 Mathematical Reviews  
, 5th #54003 Numerical and Physical Aspects of Aerodynamic Flows Prague Topological, 5th Quantitative Nondestructive Evaluation Victoria, Nonstandard Analysis, 2nd Talence, 1981/1982 Theoretical foundations  ...  of programming methodology Topics in ocean physics #86001 Topics in the theory of algebraic groups . #20005 University of Strathclyde Seminars in Applied Mathematical Analysis: Vibration Theory #73010  ... 

Algebra for Quantitative Information Flow [chapter]

A. K. McIver, C. C. Morgan, T. Rabehaja
2017 Lecture Notes in Computer Science  
In other work we have studied a refines order for information flow in programs where the comparison defined by the order preserves both functional and confidentiality properties of secrets.  ...  In this paper we show how to extend those ideas to obtain a model of information flow which supports local reasoning about confidentiality.  ...  In our model for security programs we use this two-layered feature to provide a clean structure for information flow.  ... 
doi:10.1007/978-3-319-57418-9_1 fatcat:jp5lsptgsbgczowjsjkqv2tkcu

Algebraic Foundations for Information Theoretical, Probabilistic and Guessability measures of Information Flow [article]

Pasquale Malacaria
2011 arXiv   pre-print
Overall we believe these works set the case for establishing the Lattice of Information as one of the main reference structure for Quantitative Information Flow.  ...  Several mathematical ideas have been investigated for Quantitative Information Flow. Information theory, probability, guessability are the main ideas in most proposals.  ...  Conclusions We investigated the importance of the Lattice of Information for Quantitative Information Flow.  ... 
arXiv:1101.3453v1 fatcat:yxc2muax7fcibcgwaeb2ic5pti

INFORMATION, PROCESSES AND GAMES [chapter]

Samson Abramsky
2008 Philosophy of Information  
laws for information flow.  ...  We need a quantitative theory to deal with essentially quantitative issues such as complexity, information content, rate of information flow etc.  ...  We can define a K combinator: However, note that another geometric property is violated here; the first input and output lines are disconnected from the information flow.  ... 
doi:10.1016/b978-0-444-51726-5.50017-0 fatcat:f7wokk6zmfgt3iuelzk4a53rdu

Algebraic foundations for quantitative information flow

PASQUALE MALACARIA
2014 Mathematical Structures in Computer Science  
Overall we believe these works set the case for establishing the Lattice of Information as one of the main reference structure for Quantitative Information Flow.  ...  Several mathematical ideas have been investigated for Quantitative Information Flow. Information theory, probability, guessability are the main ideas in most proposals.  ...  These programs motivate the introduction of vulnerability in Quantitative Information Flow.  ... 
doi:10.1017/s0960129513000649 fatcat:rifozutahngu7lfeuu6fek64hq
« Previous Showing results 1 — 15 out of 28,905 results