University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Adedayo Adetoye : Publications

By dateBy titleBy typeBibtex

[1]

A Framework Architecture for Semantic Resolution of Security in Ambient Environments

Atta Badii‚ Adedayo O. Adetoye‚ Daniel Thiemert and Mario Hoffmann

In 1st International Workshop of The Internet of Things and Services‚ EuroTrustAMI. Sophia Antipolis‚ France. , 2008.

[2]

A Framework for Probabilistic QoS Guarantee in Mobile Ad Hoc Networks

Ganiyu A. Aderounmu‚ Francis J. Ogwu and Adedayo O. Adetoye

In International Conference on Computer‚ Communication and Control Technologies (CCCT’03). Pages 44–48. Orlando‚ Florida‚ USA. , 2003.

[3]

A Framework for Quality of Service in Mobile Ad Hoc Networks

Francis Joseph Ogwu‚ Mohammad Talib‚ Ganiyu Aderounmu and Adedayo Adetoye

In Int. Arab J. Inf. Technol.. Vol. 4. No. 1. Pages 33−40. 2007.

[4]

A Logical High−Level Framework for Critical Infrastructure Resilience and Risk Assessment

Sadie Creese‚ Michael H. Goldsmith and Adedayo O. Adetoye

In The 3rd International Workshop on Cyberspace Safety and Security (CSS 2011). Milan‚ Italy. September, 2011. To appear.

[5]

A Modelling Approach for Interdependency in Digital Systems−of−Systems Security − Extended Abstract

Adedayo Adetoye‚ Sadie Creese‚ Michael Goldsmith and Paul Hopkins

In 5th International Conference On Critical Information Infrastructures Security (CRITIS 2010). Athens‚ Greece‚ LNCS 6712‚ Springer Verlag. 2010.

[6]

A Policy Model for Secure Information Flow

Adedayo Adetoye and Atta Badii

In Pierpaolo Degano and Luca Viganò, editors, Foundations and Applications of Security Analysis‚ Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security‚ ARSPA−WITS 2009‚ York‚ UK‚ March 28−29‚ 2009‚ Revised Selected Papers. Vol. 5511 of Lecture Notes in Computer Science. Pages 1−17. Springer. 2009.

[7]

Accessibility−by−Design: A Framework for Delivery−Context−Aware Personalised Media Content Re−purposing

Atta Badii‚ David Fuschi‚ Ali Khan and Adedayo Adetoye

In HCI and Usability for e−Inclusion‚ 5th Symposium of the Workgroup Human−Computer Interaction and Usability Engineering of the Austrian Computer Society‚ USAB 2009‚ Linz‚ Austria‚ November 9−10‚ 2009 Proceedings. Pages 209−226. 2009.

[8]

Agent−Based Approach to Selecting Views and Indexes in a Data Warehouse

Ganiyu A. Aderounmu‚ I. O. Awoyelu and Adedayo O. Adetoye

In Science Focus: An International Journal of Biological and Physical Sciences. Vol. 3. No. 3. Pages 61–68. 2003.

[9]

An Agent−based Approach to Water Distribution System Control

Ganiyu A. Aderounmu‚ Emmanuel R. Adagunodo‚ Adeniyi A. Akintola and Adedayo O. Adetoye

In Journal of Agricultural Engineering and Technology. Vol. 6. Pages 39–46. 1998.

[10]

Analysis of Dependencies in Critical Infrastructures

Adedayo O. Adetoye‚ Sadie Creese and Michael H. Goldsmith

In 6th International Conference On Critical Information Infrastructures Security (CRITIS 2011). LNCS. September, 2011.

To appear

[11]

Design and Implementation of a Network Intrusion Detection and Active−Response System

Adedayo Oyelakin Adetoye

Master's Thesis University College London. Gower Street‚ London‚ WC1E 6BT‚ United Kingdom. September, 2003.

[12]

Efficient FPGA−Based Regular Expression Pattern Matching

Atta Badii‚ Adedayo Adetoye‚ Dhaval Patel and Khurram Hameed

In Zahir Irani‚ Sofiane Sahraoui‚ Ahmad Ghoneim‚ John Sharp‚ Sevgi Ozkan‚ Maged Ali and Sarmad Alshawi, editors, European and Mediterranean Conference on Information Systems (EMCIS). Al Bostan Rotana‚ Dubai‚ UAE. , 2008.

[13]

From Qualitative to Quantitative Information Erasure

Adedayo O. Adetoye and Michael H. Goldsmith

In International Workshop on Quantitative Aspects in Security Assurance (QASA 2012‚ colocated with ESORICS). September, 2012.

To appear

[14]

High Resolution Digital Media Personalisation for All Delivery Context Device Agents

Atta Badii‚ Ali Khan‚ Adedayo Adetoye and David Fuschi

In Proceedings of the 14th International Conference on Distributed Multimedia Systems‚ DMS 2008‚ September 4−6‚ 2008‚ Hyatt Harborside Hotel‚ Boston‚ Massachusetts‚ USA. Pages 59−64. Knowledge Systems Institute. 2008.

[15]

High−Efficiency FPGA Regular Expression Pattern Matching

Atta Badii and Adedayo O. Adetoye

In Roberto Giorgi and Stephan Wong, editors, 4th High Performance Embedded Architectures & Compilers (HiPEAC) Workshop on Reconfigurable Computing. Pages 98–98. TU Delft / EWI Computer Engineering Laboratory. , 2010.

[16]

Hydra Semantic Security Resolution Framework to support Ambient Intelligent Environments

Atta Badii‚ Adedayo O. Adetoye‚ Daniel Thiemert and Mario Hoffmann

In Klaus−Dieter Althoff‚ Kerstin Bac and Meike Reichl, editors, First International Workshop on Distributed Computing in Ambient Environments (DiComAe). Pages 32. Paderborn‚ Germany. , 2009.

Colocated with the 32nd Annual Conference on Artificial Intelligence (KI 2009)

[17]

Intelligent Hybrid Multi−Agent Computational Architecture for Resources Management in Complex Systems

Ganiyu A. Aderounmu‚ Francis J. Ogwu‚ Emmanuel R. Adagunodo‚ Adeniyi A. Akintola‚ Adedayo O. Adetoye and P. K. Mahanti

In International Journal of Information and Computing Science (IJICS). Vol. 4. No. 1. Pages 1–12. 2001.

[18]

Intelligent Single Agent Control in Deterministic Environment

Ganiyu A. Aderounmu‚ Francis J. Ogwu‚ Emmanuel R. Adagunodo‚ Adeniyi A. Akintola‚ Adedayo O. Adetoye and P. K. Mahanti

In International Journal of Information and Computing Science (IJICS). Vol. 3. No. 1. Pages 26–35. 2000.

[19]

Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment

Adedayo O. Adetoye‚ Sadie Creese and Michael H. Goldsmith

In 7th International Conference On Critical Information Infrastructures Security (CRITIS 2012). LNCS. September, 2012.

To appear

[20]

Secure Information Flow: Analysis and Enforcement

Adedayo Oyelakin Adetoye

PhD Thesis School of Computer Science‚ The University of Birmingham. Edgbaston‚ Birmingham‚ B15 2TT‚ United Kingdom. 2009.

[21]

Static Analysis of Information Release in Interactive Programs

Adedayo O. Adetoye and Nikolaos Papanikolaou

In Electronic Communications of the EASST. Vol. 35. 2010.

Automated Verification of Critical Systems (AVoCS)

[22]

Stochastic Estimator−based ABR Traffic Control Schemes

Ganiyu A. Aderounmu‚ Francis J. Ogwu‚ Emmanuel R. Adagunodo‚ Adedayo O. Adetoye and Idowu O. Oduntan

In Intelligent Engineering Systems Through Artificial Neural Networks‚ In− ternational Conference on Smart Engineering System Design (ANNIE 2002). Vol. 12. Pages 853–860. Missouri‚ USA. November, 2002.