Using Ambients to Control Resources

机译：使用环境控制资源

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Current software and hardware systems, being parallel and reconfigurable, raise new safety and reliability problems, and the resolution of these problems requires new methods. Numerous proposals attempt at reducing the threat of bugs and preventing several kinds of attacks. In this paper, we develop an extension of the calculus of Mobile Ambients, named Controlled Ambients, that is suited for expressing such issues, specifically Denial of Service attacks. We present a type system for Controlled Ambients, which makes resource control possible in our setting.

机译：当前的软件和硬件系统是并行的和可重新配置的，从而引发了新的安全性和可靠性问题，并且解决这些问题需要新的方法。许多提议试图减少错误的威胁并防止多种攻击。在本文中，我们开发了移动环境演算的扩展，称为受控环境，适用于表达此类问题，特别是拒绝服务攻击。我们提出了一种用于受控环境的类型系统，这使得在我们的设置中可以进行资源控制。

著录项

来源
《13th International Conference on CONCUR 2002 - Concurrency Theory, Aug 20-23, 2002, Brno, Czech Republic》|2002年|p.288-303|共16页
会议地点 Brno(SK);Brno(SK)
作者
David Teller; Pascal Zimmer; Daniel Hirschkoff;
展开▼
作者单位

LIP -ENS Lyon, France;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Using ambients to control resources [J] . David Teller, Pascal Zimmer, Daniel Hirschkoff International Journal of Information Security . 2004,第3a4期

机译：使用环境控制资源
2. Resources of ambient air quality data from EPA's ambient air monitoring networks [J] . W. T. (Jerry) Winberry Clean air and environmental quality . 2011,第4期

机译：来自EPA环境空气监测网络的环境空气质量数据资源
3. O licenciamento ambiental da minera??o no Quadrilátero Ferrífero de Minas Gerais: uma análise da implementa??o de medidas de controle ambiental formuladas em EIAs/RIMAs [J] . Marcelo Pereira De Souza Engenharia Sanitaria e Ambiental . 2004,第4期

机译：米纳斯吉拉斯州QuadriláteroFerríferode Minas Gerais的采矿环境许可：对EIA / RIMA中制定的环境控制措施的实施情况的分析
4. Using Ambients to Control Resources [C] . David Teller, Pascal Zimmer, Daniel Hirschkoff International conference on concurrency theory . 2002

机译：使用Ambiants来控制资源
5. Parameters Controlling the Ambient and Elevated Temperature Tensile Properties of Al-Cu and Al-Si Cast Alloys =Paramètres contr?lant les propriétés de traction à la température ambiante et élevée des alliages Al-Cu et Al-Si [D] . Girgis, Abram. 2018

机译：控制Al-Cu和Al-Si铸造合金的环境和高温拉伸性能的参数
6. Silicon and Iron as Resource-Efficient Anode Materials for Ambient-Temperature Metal-Air Batteries: A Review [O] . Henning Weinrich, Yasin Emre Durmus, Hermann Tempel, 2019

机译：硅和铁作为环境温度金属空气电池的资源高效阳极材料：综述
7. Using Ambients to Control Resources (long version) [O] . Teller, David, ZIMMER, Pascal, Hirschkoff, Daniel 2004

机译：使用环境控制资源（完整版）
8. Implementation of the 2008 Lead National Ambient Air Quality Standards: Guide to Developing Reasonably Available Control Measures (RACM) for Controlling Lead Emissions [R] . McIntyre, D. 2012

机译：实施2008年国家环境空气质量标准：制定控制铅排放的合理可用控制措施（RaCm）指南

Using Ambients to Control Resources

摘要

著录项

相似文献

相关主题

期刊订阅