๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Verification Method for a Commitment Strategy of the BDI Architecture

โœ Scribed by Tadashi Araragi; Shiro Takata; Nide Naoyuki

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
195 KB
Volume
70
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

SALSA: A method for developing the enter
SALSA: A method for developing the enterprise security architecture and strategy
โœ John Sherwood ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 619 KB

It is the experience of many corporate organizations that information security solutions are often designed, acquired and installed on a tactical basis. A requirement is identified, a specification is developed and a solution is sought to meet that situation. In this process there is no opportunity

An implementation and verification of a
An implementation and verification of a hierarchical architecture for IP traceback
โœ Masafumi Oe; Youki Kadobayashi ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 493 KB

## Abstract IP traceback is a technique to combat distributed denial of service attacks. This technique can specify the routers in the path of the attack flow with forged source addresses. Although several techniques have been proposed to solve this problem, a variety of problems arise when operati