José Luis Vivas
José Luis Vivas
Verified email at
Cited by
Cited by
Towards a business process-driven framework for security engineering with the UML
JL Vivas, JA Montenegro, J López
International Conference on Information Security, 381-395, 2003
A business process-driven approach to security engineering
A Mana, JA Montenegro, C Rudolph, JL Vivas
14th International Workshop on Database and Expert Systems Applications …, 2003
Specification and design of advanced authentication and authorization services
J Lopez, JA Montenegro, JL Vivas, E Okamoto, E Dawson
Computer Standards & Interfaces 27 (5), 467-478, 2005
A methodology for security assurance-driven system development
JL Vivas, I Agudo, J López
Requirements Engineering 16, 55-73, 2011
Security and privacy preserving data aggregation in cloud computing
LV Silva, R Marinho, JL Vivas, A Brito
Proceedings of the Symposium on Applied Computing, 1732-1738, 2017
Enhancing fairness in P2P cloud federations
E de Lucena Falcão, F Brasileiro, A Brito, JL Vivas
Computers & Electrical Engineering 56, 884-897, 2016
From higher-order π-calculus to π-calculus in the presence of static operators
JL Vivas, M Dam
International Conference on Concurrency Theory, 115-130, 1998
Dynamic Channel Screening in the Higher Order π-Calculus
JL Vivas, N Yoshida
Electronic Notes in Theoretical Computer Science 66 (3), 170-184, 2002
Flexible federation of cloud providers: The EUBrazil cloud connect approach
F Brasileiro, JL Vivas, GF Da Silva, D Lezzi, C Diaz, RM Badia, ...
2016 30th International Conference on Advanced Information Networking and …, 2016
Grid security architecture: Requirements, fundamentals, standards and models
JL Vivas, J Lopez, JA Montenegro
Security in distributed, Grid, mobile, and pervasive computing, 255-288, 2007
A security framework for a workflow-based grid development platform
JL Vivas, C Fernández-Gago, J Lopez, A Benjumea
Computer Standards & Interfaces 32 (5-6), 230-245, 2010
Security assurance during the software development cycle
I Agudo, JL Vivas, J López
Proceedings of the International Conference on Computer Systems and …, 2009
Design of telephony services in lotos
JL Vivas
Swedish Institute of Computer Science, 1994
Enhancing p2p cooperation through transitive indirect reciprocity
EDL Falcão, F Brasileiro, A Brito, JL Vivas
2016 IEEE 36th International Conference on Distributed Computing Systems …, 2016
Incentivising resource sharing in federated clouds
E de Lucena Falcao, F Brasileiro, A Brito, JL Vivas
Distributed Applications and Interoperable Systems: 15th IFIP WG 6.1 …, 2015
A predictive approach for enhancing resource utilization in PaaS clouds
H Truta, JL Vivas, A Brito, T Nobrega
Proceedings of the Symposium on Applied Computing, 384-391, 2017
Controlando a contenção de recursos para promover justiça em uma federação peer-to-peer de nuvens privadas
E de Lucena Falcao, F Brasileiro, A Brito, JL Vivas
XIII Workshop em Clouds e Aplicações (WCGA2015), 2015
D3. 2.2 trust and privacy assurance evaluation for the platform prototype 2
JL Vivas, I Agudo
Final Confidential Deliverable of EU Project PICOS, 2009
From Higher-Order-Calculus to-Calculus in the Presence of Static Operators
JL Vivas, M Dam
CONCUR’98: Concurrency Theory. Proceedings of the 9th International Conference, 0
Hombro doloroso postictus: estudio epidemiológico y análisis asistencial en el área sanitaria de La Coruña
M Torres-Parada, J Marey-López, V Balboa-Barreiro, J Vivas
Fisioterapia 44 (2), 95-101, 2022
The system can't perform the operation now. Try again later.
Articles 1–20