Seguir
Luigi Logrippo
Luigi Logrippo
Professor, Département d'informatique et ingénierie, Université du Québec en Outaouais
E-mail confirmado em uqo.ca
Título
Citado por
Citado por
Ano
Understanding GPRS: the GSM packet radio service
B Ghribi, L Logrippo
Computer Networks 34 (5), 763-779, 2000
1772000
An introduction to LOTOS: learning by examples
L Logrippo, M Faci, M Haj-Hussein
Computer Networks and ISDN systems 23 (5), 325-342, 1992
1711992
The importance of the service concept in the design of data communications protocols.
CA Vissers, L Logrippo
PSTV, 3-17, 1985
1091985
Feature Interactions in Telecommunications Networks IV
P Dini, R Boutaba, L Logrippo
IOS Press, 1997
1041997
Use case maps for the capture and validation of distributed systems requirements
D Amyot, L Logrippo, RJA Buhr, T Gray
Proceedings IEEE international symposium on requirements engineering (Cat …, 1999
931999
The ISO reference model for open distributed processing: an introduction
K Farooqui, L Logrippo, J de Meer
Computer Networks and ISDN Systems 27 (8), 1215-1229, 1995
831995
Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS.
D Amyot, L Charfi, N Gorse, T Gray, L Logrippo, J Sincennes, B Stepien, ...
FIW, 274-289, 2000
762000
Dynamic risk-based decision methods for access control systems
RA Shaikh, K Adi, L Logrippo
computers & security 31 (4), 447-464, 2012
742012
Feature interactions in telecommunications and software systems VII
D Amyot, L Logrippo
IOS Press, 2003
732003
Formal specification of telephone systems in LOTOS: the constraint-oriented style approach
M Faci, L Logrippo, B Stepien
Computer Networks and ISDN Systems 21 (1), 53-67, 1991
721991
An interpreter for LOTOS, a specification language for distributed systems
L Logrippo, A Obaid, JP Briand, MC Fehri
Software: Practice and Experience 18 (4), 365-385, 1988
721988
Specifying Features and Analysing Their
M Faci, L Logrippo
Feature Interactions in Telecommunications Systems, 136, 1994
671994
Specifying telephone systems in LOTOS
R Boumezbeur, L Logrippo
IEEE Communications Magazine 31 (8), 38-45, 1993
631993
Supervisory control of communicating processes
K Rudie, WM Wonham
Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990
621990
Access control policies: Modeling and validation
M Mankai, L Logrippo
5th NOTERE Conference (Nouvelles Technologies de la Répartition), 85-91, 2005
562005
Feature Interaction Filtering with Use Case Maps at Requirements Stage.
M Nakamura, T Kikuno, J Hassine, L Logrippo
FIW, 163-178, 2000
502000
A data classification method for inconsistency and incompleteness detection in access control policy sets
RA Shaikh, K Adi, L Logrippo
International Journal of Information Security 16 (1), 91-113, 2017
472017
Executing large LOTOS specifications
R Guillemot, M Haj-Hussein, L Logrippo
Protocol Specification, Testing, and Verification 8, 399-410, 1988
441988
A framework for risk assessment in access control systems
H Khambhammettu, S Boulares, K Adi, L Logrippo
computers & security 39, 86-103, 2013
432013
UACML: Unified access control modeling language
N Slimani, H Khambhammettu, K Adi, L Logrippo
2011 4th IFIP International Conference on New Technologies, Mobility and …, 2011
392011
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20