Selected papers by Luigi Logrippo and associates (other papers
can be found here)
The following list is a mix of recent papers and older
ones that may still be useful, in chronological order.
In most cases, they are corrected or updated versions
of published papers.
Refer to the publisher’s sources to find the published
versions.
If you have remarks or questions on these materials, I
am interested in hearing from you.
PDF Luigi Logrippo. The order-theoretical
foundation for data flow security. Technical report, Université du Québec en
Outaouais, 2023. (This paper was submitted to a journal, which proposed it
to six potential referees, all of which declined).
PDF
Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, Marco
Roveri, Aidin Rasti, Ali Roudak, John Mylopoulos. Specification and Analysis of Legal
Contracts with Symboleo. Softw. Syst. Model. 21(6): 2395-2427 (2022).
PDF Abdelouadoud Stambouli, Luigi
Logrippo. Implementation of a partial order data security model for the
Internet of things (IoT) using Software defined networking (SDN). Submitted for
publication.
PDF John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi. Social Requirements Models for Services. Next-Gen Digital Services
2021 Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday
and His Retirement. LNCS 12521, Springer 2021, ISBN 978-3-030-73202-8: 100-108
PDF Luigi Logrippo, Abdelouadoud
Stambouli. Proposal for industrial tools for data security (2020). Our recent
papers have led to the discovery of methods and algorithms of industrial
interest, they are described here. Technical Report : Université du Québec
en Outaouais, December 2020.
PDF Alireza Parvizimosaed, Sepehr
Sharifi, Daniel Amyot, Luigi Logrippo, John Mylopoulos. Subcontracting,
Assignment, and Substitution for Legal Contracts in Symboleo. Intern. Conf. on
Conceptual Modeling, ER 2020, Springer LNCS 12400, 271-285. ISBN 978-3-030-62521-4.
PDF Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, Luigi Logrippo,
John Mylopoulos. Symboleo: Towards a Specification Language for Legal
Contracts. 28th IEEE Intern. Requirements Engineering Conference (RE
2020),364-369. ISBN 978-1-7281-7438-9.
PDF Luigi Logrippo. Multi-level models for data security in networks and in the Internet of
things. Journ. of Information Security and Applications (Elsevier) 58: 102778
(2021).
PDF Luigi Logrippo, Abdelouadoud
Stambouli. Configuring data flows in the Internet of Things for security and
privacy requirements. 11th International Symposium on Foundations and Practice
of Security (FPS 2018). Montreal, Nov. 13-15, 2018. Springer LNCS 11358,
115-130. See also the presentation.
PDF Abdelouadoud Stambouli, Luigi
Logrippo. Data flow analysis from capability lists, with application to RBAC
and LaBAC. Augmented version of paper titled: Data flow analysis from
capability lists, with application to RBAC. Information Processing Letters (Elsevier)
141 (2019) 30–40.
PDF Luigi Logrippo. Multi-level access
control, directed graphs and partial orders in flow control for data secrecy
and privacy. Augmented version of paper appeared in: Foundations and Practice
of Security. FPS 2017. Springer LNCS 10723 (2018), 111-123. Springer, DOI
https://doi.org/10.1007/978-3-319-75650-9_8. See also the presentation.
PDF Sofiene Boulares, Kamel Adi, Luigi
Logrippo. Insider threat likelihood assessment for flexible access control. Proc. of the 7th Intern. MCETECH
Conference on eTechnologies. Ottawa, 2017. Refer to Springer site for the
official copy. In: Aïmeur E., Ruhi U., Weiss M.
(eds) E-Technologies: Embracing the Internet of Things. LNBIP 289, Springer,
77-95.
PDF Sofiene Boulares, Kamel Adi, Luigi
Logrippo. Insider threat likelihood assessment for access control systems:
Quantitative approach. Proc. of the 9th International Symposium on
Foundations and Practice of Security (FPS), Québec, October 2016, Lecture Notes
in Computer Science 10128, Springer 2017, 135-142. Springer Copyright. Refer to
Springer LNBIP site for the official copy.
PDF Luigi
Logrippo, Causality in Computer Science.
Letter to the
Editor of the Communications of the ACM, 59(7), 9, 2016.
PDF Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo. A data classification
method for inconsistency and incompleteness detection in access control policy
data sets. International
Journal of Information Security, 16(1), 91-113, 2017. A related policy generation tool
is available.
PDF Jamal Abd-Ali, Karim El Guemhioui,
Luigi Logrippo. Metamodelling with Formal Semantics with Application to Access
Control Specification. MODELSWARD 2015: 354-36
PDF Jamal Abd-Ali, Karim El Guemhioui,
Luigi Logrippo. A Meta-model for Access Control Policies. Journal of Software
10(7), 2015, 784-797.
PDF
Sofiene Boulares, Kamel Adi, Luigi Logrippo. Information flow-based security
levels assessment for access control systems. LNBIP 209 105-121. Proc. of the
6th International MCETECH Conference on eTechnologies. Montreal, May 2015.
Springer Copyright. Refer to Springer LNBIP site for the official copy.
PDF Luigi Logrippo. Logical Method for Reasoning about Access Control and
Data Flow Control Models. Proc. of the 7th International Symposium
on Foundations and Practice of Security, Montréal, Nov. 2014. F. Cuppens et al.
(Eds.): FPS 2014, LNCS 8930, 205–220, 2015. Springer Copyright. Refer to
Springer LNCS volume for the official copy (this is an extended version). (See
also PRESENTATION). This
paper is my first in this research direction, My view of this topic has changed
considerably.
PDF Omar Abahmane, Luigi Logrippo. Granularity Based Flow Control. Proc. 12th Annual
International Conference on Privacy, Security and Trust (PST), Toronto, July
2014, 239-248. (see also PRESENTATION).
PDF Salim Khamadja, Kamel Adi, Luigi Logrippo. Designing Flexible Access Control Models for the
Cloud. Proc. of the 6th International Conference on Security of Information and
Networks (SIN 2013), Aksaray, Turkey, Nov. 2013, 225-232. ACM Copyright. Refer
to ACM site for official copy.
PDF Waël Hassan, Luigi Logrippo. Towards a
Process for Legally Compliant Software. Proc. 6th International IEEE Workshop
on Requirements Engineering and Law, (RELAW 2013) Rio de Janeiro, 44-52. IEEE
copyright: Refer to IEEE site for official copy.
PDF Hemanth Khambhammettu,
Sofiene Boulares, Kamel Adi, Luigi Logrippo. A Framework for Risk Assessment in
Access Control Systems.
Computers & Security (Elsevier),
39, Part A, 2013, 86-103.
PDF Muyiwa Olurin, Carlisle Adams, Luigi Logrippo.
Platform for Privacy Preferences (P3P): Current Status and Future Directions.
In: N. Cuppens-Boulahia, P.Fong, J. García-Alfaro, S. Marsh, J.-P. Steghöfer
(Eds.): Tenth Annual International Conference on Privacy, Security and Trust,
PST 2012, Paris, France, July 16-18, 2012, 217-220.
PDF Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo. Dynamic
Risk-based Decision Methods for Access Control Systems. Computers and Security
(Elsevier), 31(4): 447-464, 2012.
PDF Bernard Stepien, Hemanth Khambhammettu, Kamel Adi, Luigi Logrippo. CatBAC: A Generic
Framework for Designing and Validating Hybrid Access Control Models. Proc. of
SFCS 2012, the First IEEE International Workshop on Security and Forensics in
Communication Systems, Ottawa, June 10-15, 6721-6726.
This paper continues the work
presented in the paper by Slimani et al. (see below) by presenting an access
control language that extends the graphical UML notation proposed in this
second paper.
PDF Yacine Bouzida,
Luigi Logrippo, Sergei Mankovski. Concrete and Abstract Based Access Control. Intern.J. of Inform.
Security, 10 (4) Aug. 2011, 223-238. Copyright by Springer www.springerlink.com.
PDF Logrippo, L. From e-business to e-laws and
e-judgments: 4,000 years of experience. CYBERLAWS 2011, Proc. of the Second
International Conference on Technical and Legal Aspects of the e-Society,
Guadeloupe, Feb 2011, 22-28.
Several Google
searches in year 2011 on keyword ‘e-judgment’ or ‘electronic judgment’ have
consistently ranked this document among the top five. The other documents
listed used the term in a different meaning (as databases of judgments). So it
appears that I am the inventor of this term. We’ll see how useful it will be.
In 1961, fresh from law school, I was hired to study the uses that computers
could have in legal establishments. It then occurred to me that computers could
help decide simple legal cases. It took me fifty years to come up with a paper
on this topic! People interested in this subject may be interested also in the
following: HTML
PDF Slimani, N., Khambhammettu, H., Adi, K., Logrippo, L.
UACML: Unified Access Control Modeling Language. In: New Technologies, Mobility
and Security (NTMS), 2011 4th IFIP Intern. Conf. on, 2011, 1-8. http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5721143
PDF Ma, J., Logrippo, L., Adi, K., Mankovski, S. Risk
Analysis in Access Control Systems Based on Trust Theories. The 3rd Workshop on
Logics for Intelligent Agents and Multi-Agent Systems (WLIAMas 2010). Toronto, Aug. 2010, 415-418.
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5614467
Shaikh, R.A., Adi, K., Logrippo, L., Mankovski, S. Inconsistency
Detection Method for Access Control Policies. IEEE sixth International
Conference on Information Assurance and Security (IAS 2010), Atlanta, Aug.
2010, 204-209. This paper has been superseded by our 2017 paper: PDF
PDF Ma, J., Adi, K., Mejri, M., Logrippo, L. Risk Analysis
in Access Control Systems. Eight Intern. Conf. on Privacy, Security, and Trust
(PST 2010). Ottawa, Aug. 2010, 160-166.
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5593248
Shaikh, R.A., Adi,K., Logrippo, L., Mankovski, S. Detecting
Incompleteness in Access Control Policies Using Data Classification Schemes, In
Proc. of the 5th International Conference on Digital Information Management
(ICDIM 2010), Thunder Bay, Canada, July 2010, IEEE Press, 417-422. This paper has been superseded by our 2017
paper: PDF
PDF Ma, J., Adi, K., Logrippo, L., Mankovski, S. Risk
Management in Dynamic Role Based Access Control Systems. Proc.
of the 5th International Conference on Digital Information Management (ICDIM
2010), Thunder Bay, Canada, July 2010, IEEE Press, 423-430.
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5664658
PDF Plesa, R., Logrippo, L. An Agent-Based Architecture
for Providing Enhanced Communication Services. Chapter 15 in: Laurence T. Yang (Ed.)
Research in Mobile Intelligence – Wiley series on Parallel and Distributed
Computing, 2010. 320-342.
PDF Hassan, W., Slimani, N., Adi, K., Logrippo, L.,
Secrecy UML method for model transformations. 2nd International Conference ABZ
Short Papers, 2010, 16-21.
PDF Hassan, W., Logrippo, L. A Governance Requirements
Extraction Model for Legal Compliance Validation. In Proc. IEEE 17th
International Requirements Engineering Conference (RE'09): RELAW Workshop.
Atlanta, GA. Sep. 2009, 7-12.
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5459844
PDF Adi, K.,
Bouzida, Y., Hattak, I., Logrippo, L.,
Mankovskii, S. Typing for Conflict Detection in Access Control Policies. In: G.
Babin, P. Kropf, M. Weiss (Eds.): E-Technologies: Innovation in an Open World.
Proc. of the 4th Intern. Conf. MCETECH 2009 (Ottawa, May 2009),
Lecture Notes in Business Information Processing (LNBIP 26), Springer, 2009,
212-226.
PDF Hassan, W., Logrippo, L. Detecting
inconsistencies of mixed secrecy models and business policies. University of
Ottawa Technical Report, 2009.
PDF
Hassan, W. and Logrippo, L. Requirements and Compliance in Legal
Systems: a Logic Approach. In Proc. IEEE 16th International Requirements
Engineering Conference (RE'08): RELAW Workshop. Barcelona, Spain. Sep. 2008, 40-44.
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4797473
PDF Logrippo, L. Normative Systems: the Meeting Point
between Jurisprudence and Information Technology? In: H. Fujita, D. Pisanelli
(Eds.): New Trends in Software Methodologies, Tools and Techniques – Proc. of
the 6th SoMeT_07. IOS Press, 2007,
343-354.
PDF Layouni, A., Logrippo, L., Turner, K.J. Conflict
Detection in Call Control Using First-Order Logic Model Checking. In: L.
DuBousquet, Jean-Luc Richier (Eds): 9th International Conference on Feature
Interactions in Software and Communication Systems, IOS Press, 2008 (Proc. of
ICFI ’07, Grenoble, France, Sept. 2007), 77-92.
PDF
Plesa, R., Logrippo, L. An
Agent-Based Architecture for Contex-Aware Communications. Proc. of the 21st
International Conference on Advanced Information Networking and Applications
Workshops (PCAC-07 Niagara Falls, May 2007), IEEE Press, Vol.2, 133-138.
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4224094
PDF Xu, Y., Logrippo, L., Sincennes, J. Detecting Feature
Interactions in CPL. Journal of Network and Computer Applications 30 (2)
(2007), 775-799.
Keywords: Call Processing Language, consistency
PDF Crespo, R.G., Carvalho, M., Logrippo, L. Distributed
Resolution of Feature Interactions for Internet Applications. Computer Networks
51 (2) (2007) 382-397.
PDF Jiang, D., Liscano, R., Logrippo, L. Personalization
of Internet Telephony Services for Presence with SIP and Extended CPL. Computer
Communications 29 (18) (Nov. 2006) 3766-3779.
PDF Gorse, N., Logrippo, L., Sincennes, J. Formal
Detection of Feature Interactions with Logic Programming and LOTOS. Journal on Software and System Modelling, 5
(2), 2006, 121-134.
Note 1: This paper was mistakenly published
under the title: Detecting Feature Interactions in CPL. Note 2: Although the title of this paper is rather specific with
its reference to Logic Programming and LOTOS, the principles presented in the
first part are generic and have been used in other papers.
PDF de Castro Andrade, R. M., Logrippo, L. MoRaR: A
Pattern Language for Mobility and Radio Resource Management. Appeared in
reedited form in: D.Manolescu, J.Noble, M. Voelter - Pattern Languages of
Program Design 5, Chapter 10. Addison-Wesley, 2006, 213-255
This paper is a rather extensive
study of patterns occurring in mobile telephony systems software, almost unique
in its kind.
PDF Amyot, D., Gray, T., Liscano, R., Logrippo, L.,
Sincennes, J. Interactive Conflict Detection and Resolution for Personalized
Features. Journal of Communications and Networks, 7 (3), 2005, 353-366.
PDF Plesa, R., Logrippo, L. Enhanced Communications Servers
through Context Integration. In T. Magedanz, A. Karmouch, S. Pierre, I.
Venieris (Eds) - Mobility Aware Technologies and Applications – (MATA, Montreal
Oct. 2005) Short papers volume, 1-5.
PDF Mankai, M., Logrippo, L. Access Control Policies:
Modeling and Validation. Proceedings of NOTERE 2005 (Gatineau, August) 85-91.
Keywords: XACML, consistency checking, Alloy
This was one of the very first papers
published on the subject of consistency checking for XACML policies but it
doesn’t get cited. Oh, well …
PDF Hassan, W., Logrippo, L. Governance Policies for
Privacy Access Control and their Interactions. In: S.Reiff-Marganiec, M.D. Ryan
(Eds) Feature Interactions in Telecommunications and Software Systems. (Proc.
of the VIII International Conference on Feature Interaction, ICFI 2005),
Leicester, UK, IOS Press, 2005, 114-130.
PDF Amyot, L., Logrippo, L., Weiss, M. Generation of test
purposes from Use Case Maps. Computer Networks 49 (5), 2005, 643-660.
PDF Dini, P., Clemm, A., Gray, T., Lin, F.J., Logrippo,
L., Reiff-Marganiec, S. Policy-enabled Mechanisms for Feature Interactions:
Reality, Expectations, Challenges. Computer Networks, 45 (5), 2004, 585 - 603.
Old papers that
are still cited occasionally …
This is a repository where I put papers that are still
being cited or for which I have received requests.
PDF Haj-Hussein, M., Logrippo, L.,
Sincennes, J. Goal-oriented Execution of LOTOS Specifications. In: M. Diaz and R. Groz (Eds.) Formal
Description Techniques, V. North- Holland, 1993
(Proc. of the 4rth FORmal TEchniques International Conference, Perros-
Guirec, France, 1992. Sponsored by IFIP WG 6.1) 311-327.
The concept of goal-oriented
execution for LOTOS was discovered almost simultaneously by our group and a
Dutch group (Ed Brinksma and Henk Eertink). It is applicable to CCS and CSP, as
well as to other process-algebraic languages. However strangely, many years
later, this extension has not been done, for what I know. It is a useful
technique for state exploration in infinite-state systems. The PhD thesis of
Mazen Haj-Hussein, that explained the concept in detail, is available in the
web.
PDF Logrippo, L., Faci, M., and Haj-Hussein, M. An
Introduction to LOTOS: Learning by Examples.
Computer Networks and ISDN Systems 23(5) (1992) 325-342. Errata in 25(1)
(1992) 99-100.
PDF Guillemot, R.,
Haj-Hussein, M., Logrippo, L. Executing large LOTOS specifications. In: S.
Aggarwal, K. Sabnani (Eds): Protocol Specification, Testing and Verification
VIII (Proc. of the PSTV VIII Symposium). Elsevier-IFIP 1988, 399-410.
PDF Logrippo, L.,
Obaid, A., Briand, J.P., Fehri, M.C. An Interpreter for LOTOS, a Specification
Language for Distributed Systems. Software-Practice and Experience Vol 18(4),
365-385 (April 1988).
Note: This paper was written in
1986. It presents the first LOTOS interpreter realized in the world. However
the language discussed is different from the one that eventually became a
standard.
PDF Vissers, C.A.,
Logrippo, L. The Importance
of the Service Concept in the Design of Data Communications Protocols.
This paper appeared, in slightly different
form, in M. Diaz (Ed.) Protocol Specification, Testing, and Verification, V.
(Proc. of the IFIP WG 6.1 Fifth International Workshop on Protocol
Specification, Testing and Verification) Elsevier-North-Holland, 1986, 3-17.
PDF Logrippo, L., Stepien, B. Cluster Analysis for the
Computer-Assisted Statistical Analysis of Melodies. Computers and the
Humanities, Vol. 20, No. 1, 19-33 (Jan.-March 1986).
Keywords: Inuit music; Canadian
Eskimo music; a-ja-jai songs; ajajai songs; statistical methods in
ethno-musicology; transcriptions; music score.
A chapter by the same authors,
including further documentation on this work, can be found in the following
book: Pelinski, R. La musique des inuit du caribou. Presses de l’Université de
Montréal, 1981. Because this book is out of print, I have put on line the
following excerpts (PDF) which include: 1) transcriptions of
the songs collected by Pelinski; 2) information on the CD realized by Pelinsky,
which I believe can still be purchased.
PDF Pelinski, R., Logrippo, L., Hickey, P.J., Strong, E. A
comparative computer analysis of Inuit songs. University of Ottawa, Computer
Science Department, Technical Report TR80.08 (1980).
Keywords: Inuit music; Canadian
Eskimo music; a-ja-jai songs; ajajai songs; statistical methods in
ethno-musicology. See also previous title.
Open
Distributed Processing (ODP) Tutorials
The Open Distributed Processing (ODP) concept was much
ahead of its time and is still of current interest.
Although this is not often recognized, the Service
Oriented Architecture (SOA) is based on ODP concepts.
Here are some tutorial papers and research reports
that we wrote quite a while ago (1993-1996), with my student Kazi Farooqui.
I think that they are still useful.
PDF Farooqui, K., Logrippo, L., DeMeer, J. The ISO
Reference Model for Open Distributed Processing:
an introduction.
Computer Networks and ISDN Systems 27 (1995) 1215-1229.
PDF Farooqui, K., Logrippo, L. Architecture for Open
Distributed Software Systems. Technical Report, University of Ottawa, 1994. A shorter version of this tutorial was
published in: Zomaya, A.Y.S. (Ed.). Parallel and Distributed Computing
Handbook. McGraw-Hill, 1996, 303-329.
PDF Farooqui, K., Logrippo, L. Introduction to the ODP
Computational Model. Technical Report, University of Ottawa, 1994.
PDF Farooqui, K., Logrippo, L. Introduction to the ODP
Engineering Model. Technical Report, University of Ottawa, 1994.
Very old papers
that haven’t been cited at all…
Some of my best papers are those that resulted from my
PhD thesis, years of work… with the help of my supervisors, John Brzozowski and
Ed Ashcroft, as well as the inspiration of my external examiner, Ray Miller.
They have received extremely few citations, probably because the topic has not
been fashionable. But I know that they are a lot better than some papers of
mine that have been cited dozens of times. So much for citation counts.
PDF Logrippo, L. Renamings and Economy of Memory in Program Schemata.
J. ACM 25(1), (Jan. 1978), 10-22
It is possible to change the name of
the variables in programs in such a way that the results computed are
unchanged. This equivalence-preserving transformation is at the basis of
program optimizations such as efficient register allocation or efficient memory
allocation, used in optimizing compilers. This paper justifies theoretically
this transformation and explains how it works.
PDF Logrippo, L. Renamings, Maximal Parallelism, and
Space-Time Tradeoff in Program Schemata. J. ACM 26(4), (Oct. 1979), 819 -
833
This paper continues the work
presented in the previous paper. It shows formally that by allocating more
memory space, more variables, or more registers, the parallelism of a program
can be increased. For example, the parallelism of a producer-consumer system
can be increased by increasing the length of the queue between the producer and
consumer. Pipelined processors with instruction look-ahead use the same
principle. This equivalence-preserving transformation can be applied
automatically in order to take advantage of computational resources as they
become available, at execution time or at compilation time.
It is useful to review
the results of this paper in the light of Amdahl’s famous law. One of several
ways of interpreting this law states that the speedup that can be obtained in
the execution of a program P by using increasingly larger numbers of processors
in parallel computing arrangements is limited by the time needed for executing
the sequential parts of P. Amdahl’s law assumes that the sequential and
parallelizable parts of P are known in advance and cannot be changed (unless
the program is redesigned). This paper shows that: 1) it may be possible to
execute a program at different levels of parallelisms at different points of
execution 2) it may possible to increase the parallelism of a program by
spreading its working space in memory, essentially by using queue or queue-like
mechanisms. This paper also characterizes the program structures where this can
or cannot be done. Intuitively, these concepts are well recognized in Computer
Science however here they are formally analyzed.
Some non-technical
papers
HTML From Sumerian Codes to Computer Code: A Formal Logic
Perspective on Legal Theory and Information Technology in a Historical Context.
This is a sort of evolving notebook
that I keep on this subject. I make it available in case others are interested
and I am always interested in readers’ opinions.
HTML Pierre Stanislas Bédard : a precursor of symbolic logic. October 2013
PDF Mario Bolognani, Luigi Logrippo. Le origini del software industriale in Italia (The origins of
Software Industry in Italy, in Italian). Sviluppo e Organizzazione,
Marzo-Aprile 2009, 52-63.
HTML My first two
computers: Elea 9003 and Elea 6001. Winter 2007.
PDF Review of two books on early electronic music in
Italy. MusicWorks. Winter 2006
PDF A capsule history of the Department of Computer Science, University of
Ottawa
HTML Memorial: Otto G. Wadsted
Neither papers,
nor technical, nor mine!
PDF L’église de Saint Joachim. Sculptures
par François Baillargé et autres, photos par Licia Paolucci
PDF
(1 MB); JPEG (6 MB);
TIFF (97 MB); IMAGO URBIS ROMAE ANNO
MDCCCLXX – Pianta Map Carte Roma Rome 1870
