A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks
作者： Marek Sergot , Alexander Artikis , Lloyd Kamara , Jeremy Pitt
DOI: 10.1007/11493402_13
关键词: Geocast 、 Distributed computing 、 Computer science 、 Adaptive quality of service multi-hop routing 、 Shared resource 、 Vehicular ad hoc network 、 Computer security 、 Wireless network 、 Access control 、 Wireless ad hoc network
摘要: Ad hoc networks may be viewed as computational systems whose members fail to, or choose not comply with the rules governing their behaviour. We are investigating to what extent ad can usefully described in terms of permissions, obligations and other more complex normative relations, based on our previous work specifying modelling open agent societies. now propose employ existing framework for management networks, exploiting similarities between societies at application level. also discuss prospects physical level similar terms. demonstrate by constructing an executable specification, event calculus, a common type protocol used regulate control access shared resources networks.
springer.com
core.ac.uk
demokritos.gr
ic.ac.uk 
sci-hub.st 参考文章(31)
Marek Sergot, Modelling Unreliable and Untrustworthy Agent Behaviour MSRAS. pp. 161- 177 ,(2005) , 10.1007/3-540-32370-8_11
William P. Alston, Philosophy of Language ,(1988)
Marek Sergot, Andrew J. I. Jones, On the characterization of law and computer systems: the normative systems perspective deontic logic in computer science. pp. 275- 307 ,(1994)
Pablo Noriega, Francisco J. Martín, Pere Garcia, Carles Sierra, Juan A. Rodríguez dash, Aguilar, Towards a testdbed for trading agents in electronic auction markets Ai Communications. ,vol. 11, pp. 5- 19 ,(1998) , 10.13039/501100007273
H.‐Peter Dommel, J.J. Garcia‐Luna‐Aceves, Efficacy of floor control protocols in distributed multimedia collaboration Cluster Computing. ,vol. 2, pp. 17- 33 ,(1999) , 10.1023/A:1019010221393
Johann Eder, Logic and databases Proceedings of the International Summer School on Advanced topics in artificial intelligence. pp. 95- 103 ,(1992) , 10.1007/3-540-55681-8_32
David Makinson, On the formal representation of rights relations Journal of Philosophical Logic. ,vol. 15, pp. 403- 425 ,(1986) , 10.1007/BF00243391
Babak Sadighi Firozabadi, Marek Sergot, Contractual Access Control international workshop on security. pp. 96- 103 ,(2002) , 10.1007/978-3-540-39871-4_9
Andrea Omicini, Paolo Torroni, Ulle Endriss, Matteo Baldoni, Declarative Agent Languages and Technologies IV ,(2008)
Keith L. Clark, Negation as failure Logic and Data Bases. pp. 311- 325 ,(1987) , 10.1007/978-1-4684-3384-5_11