Kleene algebra and its application to control theory and computer security

克林代数及其在控制理论和计算机安全中的应用

基本信息

  • 批准号:
    89769-2007
  • 负责人:
  • 金额:
    $ 1.86万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2010
  • 资助国家:
    加拿大
  • 起止时间:
    2010-01-01 至 2011-12-31
  • 项目状态:
    已结题

项目摘要

Computers have become extremely important in many respects. They have a vital role when controlling complex systems, such as airplanes or medical apparatus. Fast computers linked to Internet let people and companies access a gigantic amount of information and make commercial transactions. The success of computers is indeed spectacular. The increased dependence on computers means that the flow of information must be precisely controlled; for instance, personal data should not be sent on the Internet without the owner's consent. Unfortunately, many programs have security flaws. These can be simple bugs that lead to undesired behaviour or bad features that are exploited by malevolent people. The goal of this research is to develop scientific techniques, based on strong mathematical foundations, to reduce the occurrence of such problems. The mathematical foundations consist mainly of the theory of control of discrete event systems (computer systems are a particular case of such systems) and of an algebraic theory known as Kleene algebra.
计算机在许多方面已变得极其重要。它们在控制飞机或医疗器械等复杂系统时发挥着至关重要的作用。连接到互联网的快速计算机使人们和公司能够访问大量的信息并进行商业交易。计算机的成功确实是惊人的。对计算机的日益依赖意味着必须精确控制信息的流动;例如,未经所有者同意,不应在互联网上发送个人数据。不幸的是,许多程序都有安全缺陷。这些可能是导致不受欢迎的行为或恶意人员利用的不良功能的简单错误。这项研究的目标是开发基于强大数学基础的科学技术,以减少此类问题的发生。数学基础主要包括离散事件系统的控制理论(计算机系统是这种系统的一个特例)和被称为Kleene代数的代数理论。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Desharnais, Jules其他文献

Desharnais, Jules的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Desharnais, Jules', 18)}}的其他基金

"Domain algebra, quantum algebra, refinement algebra"
《领域代数、量子代数、细化代数》
  • 批准号:
    89769-2012
  • 财政年份:
    2016
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Discovery Grants Program - Individual
"Domain algebra, quantum algebra, refinement algebra"
《领域代数、量子代数、细化代数》
  • 批准号:
    89769-2012
  • 财政年份:
    2015
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Discovery Grants Program - Individual
"Domain algebra, quantum algebra, refinement algebra"
《领域代数、量子代数、细化代数》
  • 批准号:
    89769-2012
  • 财政年份:
    2014
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Discovery Grants Program - Individual
"Domain algebra, quantum algebra, refinement algebra"
《领域代数、量子代数、细化代数》
  • 批准号:
    89769-2012
  • 财政年份:
    2013
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Discovery Grants Program - Individual
"Domain algebra, quantum algebra, refinement algebra"
《领域代数、量子代数、细化代数》
  • 批准号:
    89769-2012
  • 财政年份:
    2012
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Discovery Grants Program - Individual
Kleene algebra and its application to control theory and computer security
克林代数及其在控制理论和计算机安全中的应用
  • 批准号:
    89769-2007
  • 财政年份:
    2011
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Discovery Grants Program - Individual
Kleene algebra and its application to control theory and computer security
克林代数及其在控制理论和计算机安全中的应用
  • 批准号:
    89769-2007
  • 财政年份:
    2009
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Discovery Grants Program - Individual
Kleene algebra and its application to control theory and computer security
克林代数及其在控制理论和计算机安全中的应用
  • 批准号:
    89769-2007
  • 财政年份:
    2008
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Discovery Grants Program - Individual
Kleene algebra and its application to control theory and computer security
克林代数及其在控制理论和计算机安全中的应用
  • 批准号:
    89769-2007
  • 财政年份:
    2007
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Discovery Grants Program - Individual
Mathematics of program analysis and construction, with security as main application
程序分析与构造数学,以安全为主要应用
  • 批准号:
    89769-2003
  • 财政年份:
    2006
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Discovery Grants Program - Individual

相似国自然基金

李代数的权表示
  • 批准号:
    10371120
  • 批准年份:
    2003
  • 资助金额:
    13.0 万元
  • 项目类别:
    面上项目

相似海外基金

Positive and Mixed Characteristic Birational Geometry and its Connections with Commutative Algebra and Arithmetic Geometry
正混合特征双有理几何及其与交换代数和算术几何的联系
  • 批准号:
    2401360
  • 财政年份:
    2024
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Standard Grant
Quantum dynamics generated by non-self-adjoint hamiltonians and its applications
非自伴哈密顿量产生的量子动力学及其应用
  • 批准号:
    20K14335
  • 财政年份:
    2020
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Development of a brand-new computer algebra system using Julia language and its application
Julia语言全新计算机代数系统的开发及其应用
  • 批准号:
    20K03537
  • 财政年份:
    2020
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Construction of quantum walk model in Max-plus algebra and its application
Max-plus代数中量子行走模型的构建及其应用
  • 批准号:
    20K14367
  • 财政年份:
    2020
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Unified homological algebra encompassing exact, abelian, triangulated categories and its enhancement
包含精确、阿贝尔、三角范畴的统一同调代数及其增强
  • 批准号:
    20K03532
  • 财政年份:
    2020
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Development of linear solvers on max-plus algebra and its applications
max-plus代数线性求解器的开发及其应用
  • 批准号:
    19K03624
  • 财政年份:
    2019
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Vector Space Model for Georefferenced Words' Algebra using Its Unevenness and Ubiquity
利用其不均匀性和普遍性的地理参考词代数向量空间模型
  • 批准号:
    19K11982
  • 财政年份:
    2019
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Geometric Algebra and its application in discrete geometry and topology
几何代数及其在离散几何和拓扑中的应用
  • 批准号:
    19F19721
  • 财政年份:
    2019
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
Summer Programs on Commutative Algebra and Its Interactions with Algebraic Geometry and on p-adic L-functions and Eigenvarieties
交换代数及其与代数几何的相互作用以及 p 进 L 函数和特征向量暑期课程
  • 批准号:
    1904501
  • 财政年份:
    2019
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Continuing Grant
Bosonization of quantum W superalgebra and its application to integrable system
量子W超代数的玻色化及其在可积系统中的应用
  • 批准号:
    19K03509
  • 财政年份:
    2019
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了