Adedayo Adetoye : Publications
Journal papers
-
[1]
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)
Details about Static Analysis of Information Release in Interactive Programs | BibTeX data for Static Analysis of Information Release in Interactive Programs
-
[2]
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.
Details about A Framework for Quality of Service in Mobile Ad Hoc Networks | BibTeX data for A Framework for Quality of Service in Mobile Ad Hoc Networks
-
[3]
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.
Details about Agent−Based Approach to Selecting Views and Indexes in a Data Warehouse | BibTeX data for Agent−Based Approach to Selecting Views and Indexes in a Data Warehouse
-
[4]
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.
Details about Intelligent Hybrid Multi−Agent Computational Architecture for Resources Management in Complex Systems | BibTeX data for Intelligent Hybrid Multi−Agent Computational Architecture for Resources Management in Complex Systems
-
[5]
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.
Details about Intelligent Single Agent Control in Deterministic Environment | BibTeX data for Intelligent Single Agent Control in Deterministic Environment
-
[6]
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.
Details about An Agent−based Approach to Water Distribution System Control | BibTeX data for An Agent−based Approach to Water Distribution System Control
Conference papers
-
[1]
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
Details about Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment | BibTeX data for Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment
-
[2]
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
Details about From Qualitative to Quantitative Information Erasure | BibTeX data for From Qualitative to Quantitative Information Erasure | Download qasa2012-Erasure-SLIDES.pdf of From Qualitative to Quantitative Information Erasure | Download erasure-QASA.pdf of From Qualitative to Quantitative Information Erasure
-
[3]
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.
Details about A Logical High−Level Framework for Critical Infrastructure Resilience and Risk Assessment | BibTeX data for A Logical High−Level Framework for Critical Infrastructure Resilience and Risk Assessment
-
[4]
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
Details about Analysis of Dependencies in Critical Infrastructures | BibTeX data for Analysis of Dependencies in Critical Infrastructures
-
[5]
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.
Details about High−Efficiency FPGA Regular Expression Pattern Matching | BibTeX data for High−Efficiency FPGA Regular Expression Pattern Matching
-
[6]
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.
Details about A Modelling Approach for Interdependency in Digital Systems−of−Systems Security − Extended Abstract | BibTeX data for A Modelling Approach for Interdependency in Digital Systems−of−Systems Security − Extended Abstract
-
[7]
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)
Details about Hydra Semantic Security Resolution Framework to support Ambient Intelligent Environments | BibTeX data for Hydra Semantic Security Resolution Framework to support Ambient Intelligent Environments
-
[8]
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.
Details about A Policy Model for Secure Information Flow | BibTeX data for A Policy Model for Secure Information Flow
-
[9]
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.
Details about Accessibility−by−Design: A Framework for Delivery−Context−Aware Personalised Media Content Re−purposing | BibTeX data for Accessibility−by−Design: A Framework for Delivery−Context−Aware Personalised Media Content Re−purposing
-
[10]
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.
Details about Efficient FPGA−Based Regular Expression Pattern Matching | BibTeX data for Efficient FPGA−Based Regular Expression Pattern Matching
-
[11]
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.
Details about A Framework Architecture for Semantic Resolution of Security in Ambient Environments | BibTeX data for A Framework Architecture for Semantic Resolution of Security in Ambient Environments
-
[12]
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.
Details about High Resolution Digital Media Personalisation for All Delivery Context Device Agents | BibTeX data for High Resolution Digital Media Personalisation for All Delivery Context Device Agents
-
[13]
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.
Details about A Framework for Probabilistic QoS Guarantee in Mobile Ad Hoc Networks | BibTeX data for A Framework for Probabilistic QoS Guarantee in Mobile Ad Hoc Networks
-
[14]
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.
Details about Stochastic Estimator−based ABR Traffic Control Schemes | BibTeX data for Stochastic Estimator−based ABR Traffic Control Schemes
Theses
-
[1]
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.
Details about Secure Information Flow: Analysis and Enforcement | BibTeX data for Secure Information Flow: Analysis and Enforcement
-
[2]
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.
Details about Design and Implementation of a Network Intrusion Detection and Active−Response System | BibTeX data for Design and Implementation of a Network Intrusion Detection and Active−Response System