• 1710 Citations
1992 …2019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2017

A white-box anomaly-based framework for database leakage detection

Costante, E., den Hartog, J., Petkovic, M., Etalle, S. & Pechenizkiy, M., 1 Feb 2017, In : Journal of Information Security and Applications. 32, p. 27-46 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

15 Citations (Scopus)
9 Downloads (Pure)
2014

GEM : a distributed goal evaluation algorithm for trust management

Trivellato, D., Zannone, N. & Etalle, S., 2014, In : Theory and Practice of Logic Programming. 14, 3, p. 293-337 45 p.

Research output: Contribution to journalArticleAcademicpeer-review

13 Citations (Scopus)
2 Downloads (Pure)

Understanding computer security

Etalle, S. & Zannone, N., 1 Jan 2014, In : Frontiers in ICT. 1, 3, p. 1-2 2 p., 3.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
1 Citation (Scopus)
72 Downloads (Pure)
2013

A semantic security framework for systems of systems

Trivellato, D., Zannone, N., Glaundrup, M., Skowronek, J. & Etalle, S., 2013, In : International Journal of Cooperative Information Systems. 22, 1, p. 1350004/1-35

Research output: Contribution to journalArticleAcademicpeer-review

17 Citations (Scopus)
2 Downloads (Pure)

Hybrid static-runtime information flow and declassification enforcement

Pontes Soares Rocha, B., Conti, M., Etalle, S. & Crispo, B., 2013, In : IEEE Transactions on Information Forensics and Security. 8, 8, p. 1294-1305

Research output: Contribution to journalArticleAcademicpeer-review

22 Citations (Scopus)
1 Downloads (Pure)
2012

A2THOS : availability analysis and optimisation in SLAs

Zambon, E., Etalle, S. & Wieringa, R. J., 2012, In : International Journal of Network Management. 22, 2, p. 104-130

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
2011

Model-based qualitative risk assessment for availability of IT infrastructures

Zambon, E., Etalle, S., Wieringa, R. J. & Hartel, P. H., 2011, In : Software and Systems Modeling. 10, 4, p. 553-580 28 p.

Research output: Contribution to journalArticleAcademicpeer-review

24 Citations (Scopus)
2010

A flexible architecture for privacy-aware trust management

Böhm, K., Etalle, S., Hartog, den, J. I., Hütter, C., Trabelsi, S., Trivellato, D. & Zannone, N., 2010, In : Journal of Theoretical and Applied Electronic Commerce Research. 5, 2, p. 77-96

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
17 Citations (Scopus)
198 Downloads (Pure)
2009

Maintaining control while delegating trust: Integrity constraints in trust management

Etalle, S. & Winsborough, W. H., 2009, In : ACM Transactions on Information and System Security. 13, 1, p. 5-1/27

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)
2007

Audit-based compliance control

Cederquist, J. G., Corin, R. J., Dekker, M. A. C., Etalle, S., Hartog, den, J. I. & Lenzini, G., 2007, In : International Journal of Information Security. 6, 2-3, p. 133-151

Research output: Contribution to journalArticleAcademicpeer-review

49 Citations (Scopus)
1 Downloads (Pure)

Timed analysis of security protocols

Corin, R. J., Etalle, S., Hartel, P. H. & Mader, A. H., 2007, In : Journal of Computer Security. 15, 6, p. 619-645

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)
2006

Audit-based access control in de zorg

Dekker, M. A. C., Veugen, P. J. M. & Etalle, S., 2006, In : Informatiebeveiliging. 2006, 8, p. 19-23

Research output: Contribution to journalArticleProfessional

Introduction (Special Issue on Specification analysis and verification of reactive systems)

Delzanno, G., Etalle, S. & Gabbrielli, M., 2006, In : Theory and Practice of Logic Programming. 6, 3, p. 225-226

Research output: Contribution to journalArticleProfessional

LicenseScript : a logical language for digital rights management

Chong, C. N., Corin, R. J., Doumen, J. M., Etalle, S., Hartel, P. H. & Tokmakoff, A., 2006, In : Annals of Telecommunications. 61, 3-4, p. 284-331 48 p.

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
2005

Trust in virtual communities

Czenko, M., Doumen, J. M. & Etalle, S., 2005, In : ERCIM News. 63, p. 29-30

Research output: Contribution to journalArticleProfessional

Open Access
File
50 Downloads (Pure)
2004

Termination of simply moded logic programs with dynamic scheduling

Bossi, A., Etalle, S., Rossi, S. & Smaus, J. G., 2004, In : ACM Transactions on Computational Logic. 5, 3, p. 470-507

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
2002

On modular termination proofs of general logic programs

Bossi, A., Cocco, N., Rossi, S. & Etalle, S., 2002, In : Theory and Practice of Logic Programming. 2, 3, p. 263-291

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)
1 Downloads (Pure)

Properties of input-consuming derivations

Bossi, A., Etalle, S. & Rossi, S., 2002, In : Theory and Practice of Logic Programming. 2, 2, p. 125-154

Research output: Contribution to journalArticleAcademicpeer-review

8 Citations (Scopus)
1 Downloads (Pure)
2001

Transformations of CCP programs

Etalle, S., Gabbrielli, M. & Meo, M. C., 2001, In : ACM Transactions on Programming Languages and Systems. 23, 3, p. 304-395

Research output: Contribution to journalArticleAcademicpeer-review

15 Citations (Scopus)
2000

Semantics of well-moded input-consuming logic programs

Bossi, A., Etalle, S. & Rossi, S., 2000, In : Computer Languages. 26, 1, p. 1-25

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
2 Downloads (Pure)
1999

Declarative solutions to partitioned-grid problems

Etalle, S., Hartel, P. H. & Vree, W. G., 1999, In : Software : Practice and Experience. 29, 13, p. 1173-1200

Research output: Contribution to journalArticleAcademicpeer-review

Layered modes

Etalle, S. & Gabbrielli, M., 1999, In : Journal of Logic Programming. 39, 1-3, p. 225-244 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)

Termination of well-moded programs

Etalle, S., Bossi, A. & Cocco, N., 1999, In : Journal of Logic Programming. 38, 2, p. 243-257

Research output: Contribution to journalArticleAcademicpeer-review

24 Citations (Scopus)
1998

A semantics for modular general logic programs

Etalle, S., 1998, In : Theoretical Computer Science. 206, 1-2, p. 51-80 30 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Partial evaluation of concurrent constraint languages

Etalle, S. & Gabbrielli, M., 1998, In : ACM Computing Surveys. 30, 3es, p. 11-

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
1996

On the correctness of the replacement operation for CLP modules

Etalle, S. & Gabbrielli, M., 1996, In : Journal of Functional and Logic Programming. 1996, 1

Research output: Contribution to journalArticleAcademicpeer-review

Simultaneous replacement in normal programs

Bossi, A., Cocco, N. & Etalle, S., 1996, In : Journal of Logic and Computation. 6, 1, p. 79-120 42 p.

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)

Transformations of CLP modules

Etalle, S. & Gabbrielli, M., 1996, In : Theoretical Computer Science. 166, 1-2, p. 101-146 46 p.

Research output: Contribution to journalArticleAcademicpeer-review

75 Citations (Scopus)

Unification-free Prolog programs revisited

Etalle, S., 1996, In : Journal of Programming Languages. 4, 4, p. 187-210

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
34 Downloads (Pure)
1994

Transforming acyclic programs

Bossi, A. & Etalle, S., 1994, In : ACM Transactions on Programming Languages and Systems. 16, 4, p. 1081-1096 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

10 Citations (Scopus)