• 1651 Citaten
1992 …2019
Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput 1992 2019

Filter
Tijdschriftartikel
2017
14 Citaties (Scopus)
9 Downloads (Pure)

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

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Agglomeration
Neural networks
Feedback
Industry
2014
13 Citaties (Scopus)
2 Downloads (Pure)

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, blz. 293-337 45 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Air cushion vehicles
Trust Management
Evaluation
Confidentiality
Termination
1 Citaat (Scopus)
60 Downloads (Pure)

Understanding computer security

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
Monitoring
Accountability
Privacy
Economics
Computer security
2013
17 Citaties (Scopus)
2 Downloads (Pure)

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, blz. 1350004/1-35

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Semantics
Interoperability
Ontology
Access control
Scalability
21 Citaties (Scopus)
1 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, blz. 1294-1305

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Security of data
Static analysis
Flow control
Access control
Mobile devices
2012
3 Citaties (Scopus)

A2THOS : availability analysis and optimisation in SLAs

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Information technology
Availability
Customer satisfaction
Managers
Costs
2011
21 Citaties (Scopus)

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, blz. 553-580 28 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Risk Assessment
Risk assessment
Availability
Infrastructure
Model-based
2010
17 Citaties (Scopus)
184 Downloads (Pure)

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, blz. 77-96

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
Privacy
Trust management
Management system
Factors
Authorization
2009
2 Citaties (Scopus)
1 Downloads (Pure)

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, blz. 5-1/27

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Monitoring
2007
48 Citaties (Scopus)
1 Downloads (Pure)

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, blz. 133-151

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Compliance control
Access control
Compliance
4 Citaties (Scopus)

Timed analysis of security protocols

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Taxonomies
Side channel attack
2006

Audit-based access control in de zorg

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

Audit

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, blz. 225-226

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

Reactive Systems
Logic
Specification
Specifications
Smart cards
6 Citaties (Scopus)

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, blz. 284-331 48 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Logic programming
Semantics
2005
48 Downloads (Pure)

Trust in virtual communities

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

Open Access
Bestand
Trust management
Virtual community
2004
7 Citaties (Scopus)

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, blz. 470-507

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Dynamic Scheduling
Logic Programs
Termination
Semantics
Scheduling
2002
11 Citaties (Scopus)
1 Downloads (Pure)

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, blz. 263-291

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Logic Programs
Termination
Module
8 Citaties (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, blz. 125-154

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Logic Programs
Scheduling
Dynamic Scheduling
Termination
Lemma
2001
15 Citaties (Scopus)

Transformations of CCP programs

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Synchronization
Semantics
2000
3 Citaties (Scopus)
2 Downloads (Pure)

Semantics of well-moded input-consuming logic programs

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Semantics
Scheduling
Logic programming
Syntactics
Computer programming languages
1999

Declarative solutions to partitioned-grid problems

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Logic programming
Parallel processing systems
Computer programming languages
3 Citaties (Scopus)

Layered modes

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Selection Rules
Incomplete Data
Deadlock
Logic Programming
Logic Programs
24 Citaties (Scopus)

Termination of well-moded programs

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1998
1 Citaat (Scopus)

A semantics for modular general logic programs

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Logic Programs
Semantics
Compositionality
Module
Logic programming
7 Citaties (Scopus)

Partial evaluation of concurrent constraint languages

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

11 Citaties (Scopus)

Simultaneous replacement in normal programs

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Replacement
Semantics
Thinning
Folding
Axioms
73 Citaties (Scopus)

Transformations of CLP modules

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Constraint Logic Programming
Logic programming
Module
Semantics
Compositionality
30 Downloads (Pure)

Unification-free Prolog programs revisited

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
1994
10 Citaties (Scopus)

Transforming acyclic programs

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Logic programming
Semantics