Antonio Maña
University of Málaga
124 Papers
852 Citations
Antonio Maña is an academic researcher from University of Málaga. The author has contributed to research in topics: Cloud computing security & Ambient intelligence. The author has an hindex of 16, co-authored 124 publications. Previous affiliations of Antonio Maña include Fraunhofer Society.
Chat about Author
Papers
Applying the semantic Web layers to access control
Mariemma I. Yagüe,Antonio Maña,Javier Lopez,José M. Troya +3 more
- 01 Sep 2003
TL;DR: This work demonstrates how the semantic web concepts and its layers infrastructure may play an important role in many relevant fields, such as the case of access control and authorization fields.
An Efficient Software Protection Scheme
Antonio Maña,Ernesto Pimentel +1 more
- 11 Jun 2001
TL;DR: A robust software protection scheme based in the use of smart cards and cryptographic techniques and the security of this new scheme is only dependent on the first premise because code analysis and modification are not useful to break this scheme.
A Methodology for the Analysis and Modeling of Security Threats and Attacks for Systems of Embedded Components
Jose Fran. Ruiz,Rajesh Harjani,Antonio Maña,Vasily Desnitsky,Igor Kotenko,Andrey Chechulin +5 more
- 15 Feb 2012
TL;DR: A methodology for the analysis and modeling of threats and attacks for systems of embedded components is presented and the Intruder Model allows us to describe possible actions a potential intruder can accomplish, depending on his/her capabilities, resources, etc.
39
A Performance-Oriented Monitoring System for Security Properties in Cloud Computing Applications
TL;DR: This paper introduces a new and robust architecture for dynamic security monitoring and enforcement specially designed for cloud computing scenarios including a three-layered architecture, a new language for expressing monitoring rules and a strategy based on the generation of a finite-state machine to improve the performance of the monitoring engine.
36
Semantic access control model: a formal specification
Mariemma I. Yagüe,María-del-Mar Gallardo,Antonio Maña +2 more
- 12 Sep 2005
TL;DR: This paper presents the semantic validation algorithms developed in SAC to detect semantically incomplete or incorrect access control policies and the formal model of SAC along with some proofs of its soundness is introduced.