Zobrazeno 1 - 10
of 77
pro vyhledávání: '"Manuel Clavel"'
Autor:
Hieu Minh Truong, Manuel Clavel
Publikováno v:
2022 International Conference on Advanced Computing and Analytics (ACOMPA).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eadcad260aada4bcfa7f0c4bea388273
https://doi.org/10.1109/acompa57018.2022.00009
https://doi.org/10.1109/acompa57018.2022.00009
Autor:
Hoang Nguyen Phuoc Bao, Manuel Clavel
Publikováno v:
SN Computer Science. 2
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::862cded890fd13bd5f7041227bbcdd2e
https://doi.org/10.1007/s42979-021-00712-7
https://doi.org/10.1007/s42979-021-00712-7
Autor:
Hoang Nguyen Phuoc Bao, Manuel Clavel
Publikováno v:
Future Data and Security Engineering ISBN: 9783030639235
FDSE
FDSE
In this paper we propose a novel, model-driven approach for enforcing fine-grained access control (FGAC) policies when executing SQL queries. More concretely, we define a function \(\mathrm{SecQuery}()\) that, given a FGAC policy \(\mathcal{S}\) and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c90fde4d6c7278dde2a37507ff8a4eba
https://doi.org/10.1007/978-3-030-63924-2_4
https://doi.org/10.1007/978-3-030-63924-2_4
Autor:
Hoang Nguyen Phuoc Bao, Manuel Clavel
Publikováno v:
Future Data and Security Engineering ISBN: 9783030356521
FDSE
FDSE
The Object Constraint Language (OCL) is a textual, declarative language typically used as part of the UML standard for specifying constraints and queries on models. Several attempts have been proposed in the past for translating OCL expressions into
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e9a51f1610b1625296a75a95a16e2449
https://doi.org/10.1007/978-3-030-35653-8_13
https://doi.org/10.1007/978-3-030-35653-8_13
Autor:
Hoang Nguyen Phuoc Bao, Manuel Clavel
Publikováno v:
The Journal of Object Technology. 19:3:1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6ff42692fcd6dff0a2550fc5b98585a0
https://doi.org/10.5381/jot.2020.19.3.a15
https://doi.org/10.5381/jot.2020.19.3.a15
Publikováno v:
IEEE Transactions on Software Engineering. 40:324-337
We present a novel model-driven methodology for developing secure data-management applications. System developers proceed by modeling three different views of the desired application: its data model, security model, and GUI model. These models formal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2b716f1473107d7eb639232fa4e7d2fb
https://doi.org/10.1109/tse.2013.2297116
https://doi.org/10.1109/tse.2013.2297116
Autor:
Carolina Dania, Manuel Clavel
Publikováno v:
MoDELS
In this paper we propose a mapping from OCL to many-sorted first-order logic, called OCL2MSFOL. This new mapping significantly improves our previous results in two key aspects. First, it accepts as input a larger subset of the UML/OCL language; in pa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bb43b20be777dded21aa67a0f48aa994
https://doi.org/10.1145/2976767.2976774
https://doi.org/10.1145/2976767.2976774
Publikováno v:
Information and Software Technology. 51:815-831
We have previously proposed SecureUML, an expressive UML-based language for constructing security-design models, which are models that combine design specifications for distributed systems with specifications of their security policies. Here, we show
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e6f2528433f4579d57337ee1800ed808
https://doi.org/10.1016/j.infsof.2008.05.011
https://doi.org/10.1016/j.infsof.2008.05.011
Autor:
Steven Eker, Narciso Martí-Oliet, Francisco Durán, Carolyn L. Talcott, Patrick Lincoln, Santiago Escobar, Manuel Clavel
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319231648
Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
This paper is a tribute to Jose Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two decades under his leadership. After reviewing t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::662bc0e86bc02dcba93cf3863a068220
https://doi.org/10.1007/978-3-319-23165-5_11
https://doi.org/10.1007/978-3-319-23165-5_11
Autor:
Carolina Dania, Manuel Clavel
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783662466742
FASE
FASE
Data-management applications are focused around so-called CRUD actions that create, read, update, and delete data from persistent storage. These operations are the building blocks for numerous applications, for example dynamic websites where users cr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::166166906dc4cf9980c729e8a536ad21
https://doi.org/10.1007/978-3-662-46675-9_15
https://doi.org/10.1007/978-3-662-46675-9_15