Selected papers by Luigi Logrippo and
associates (older papers can be found here)
Note: The
papers below are recent ones, or older ones that may still be useful.
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 Bouzida, Y., Logrippo,
L., Mankovski, S. Concrete and Abstract Based Access
Control. To appear in the International Journal of Information Security,
Springer. The
final publication is available at www.springerlink.com.
Int. J. Inf. Secur.
DOI 10.1007/s10207-011-0138-1. Published online 14
July 2011.
PDF Shaikh, R. A., Adi, K., Logrippo, L., Mankovski, S. Risk-based Decision Method for Access
Control Systems. To appear in Proc. of PST 201, Ninth International Conference
of Privacy, Security, Trust.
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’ 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 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 International Conference on, Feb. 2011, 1-8.
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, August 2010, 415-418.
PDF 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.
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.
PDF 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.
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.
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., 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.
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. 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.
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.
PDF Xu, Y., Logrippo, L., Sincennes, J. Detecting Feature Interactions in CPL.
Journal of Network and Computer Applications 30 (2) (2007), 775-799.
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
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.
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 bought.
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 0 citations, probably because
the topic has never 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
In imperative programs, written in a low-level
language or in assembler or even in machine language, it is possible to change
the name of the variables 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, 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 A Formal Logic Perspective on Law, Jurisprudence, 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.
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 Obituary: Otto G. Wadsted