Using ambients to control resources
| Autor: | Pascal Zimmer, Daniel Hirschkoff, David Teller |
|---|---|
| Rok vydání: | 2004 |
| Předmět: |
Computer Networks and Communications
business.industry Computer science Concurrency Reliability (computer networking) Process calculus Distributed computing 020207 software engineering Cryptography Denial-of-service attack 0102 computer and information sciences 02 engineering and technology Resolution (logic) Computer security computer.software_genre 01 natural sciences Resource (project management) Software 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering Safety Risk Reliability and Quality business computer Information Systems |
| Zdroj: | International Journal of Information Security. 2:126-144 |
| ISSN: | 1615-5270 1615-5262 |
| DOI: | 10.1007/s10207-004-0035-y |
| Popis: | 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 aim 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 static resource control possible in our setting, and enhance it with a rich notion of resources . |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|