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

Onderzoeksoutput 1992 2019

Filter
Rapport
2010

A2THOS : availability analysis and optimisation in SLAs

Zambon, E., Etalle, S. & Wieringa, R. J., 2010, Enschede: Universiteit Twente. (CTIT Technical Report; vol. TR-CTIT-10-20)

Onderzoeksoutput: Boek/rapportRapportAcademic

IT services
Costs
Customer satisfaction
Optimal solution
Organization size
65 Downloads (Pure)

GEM : a distributed goal evaluation algorithm for trust management

Trivellato, D., Zannone, N. & Etalle, S., 2010, Eindhoven: Technische Universiteit Eindhoven. 12 blz. (Computer science reports; vol. 1015)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Air cushion vehicles
Access control
Semantics
Acoustic waves
2009

Architecture-based qualitative risk analysis for availability of IT infrastructures

Zambon, E., Etalle, S., Wieringa, R. J. & Hartel, P. H., 2009, Enschede: Universiteit Twente. 26 blz. (CTIT Technical Report; vol. TR-CTIT-09-35)

Onderzoeksoutput: Boek/rapportRapportAcademic

Risk analysis
Risk assessment
Availability
Authentication
Industry

CRAC : Confidentiality risk analysis and IT-architecture comparison of business networks

Morali, A., Zambon, E., Etalle, S. & Wieringa, R. J., 2009, Enschede: Universiteit Twente. 8 blz. (CTIT Technical Report; vol. TR-CTIT-09-30)

Onderzoeksoutput: Boek/rapportRapportAcademic

Risk analysis
Industry
Outsourcing

Panacea : Automating attack classification for anomaly-based network intrusion detection systems

Bolzoni, D., Etalle, S. & Hartel, P. H., 2009, Enschede: Universiteit Twente. 21 blz. (CTIT Technical Report; vol. TR-CTIT-09-10)

Onderzoeksoutput: Boek/rapportRapportAcademic

Intrusion detection
44 Downloads (Pure)

POLIPO : policies & ontologies for interoperability, portability, and autonomy

Trivellato, D., Spiessens, A. O. D., Zannone, N. & Etalle, S., 2009, Eindhoven: Technische Universiteit Eindhoven. 8 blz. (Computer science reports; vol. 0906)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Access control
Interoperability
Ontology
Semantics
Specifications
2007

A model supporting business continuity auditing & planning in information systems

Zambon, E., Bolzoni, D., Etalle, S. & Salvato, M., 2007, Enschede: Universiteit Twente. 9 blz. (CTIT Technical Report; vol. TR-CTIT-07-17)

Onderzoeksoutput: Boek/rapportRapportAcademic

7 Citaties (Scopus)

An introduction to the role based trust management framework RT

Czenko, M., Etalle, S., Li, D. & Winsborough, W. H., 2007, Enschede: Universiteit Twente. 37 blz. (CTIT Technical Report; vol. TR-CTIT-07-34)

Onderzoeksoutput: Boek/rapportRapportAcademic

Audit-based compliance control (AC2) for EHR systems

Dekker, M. A. C., Hartog, den, J. I. & Etalle, S., 2007, Enschede: Universiteit Twente. 15 blz. (CTIT Technical Report; vol. TR-CTIT-07-46)

Onderzoeksoutput: Boek/rapportRapportAcademic

Core TuLiP

Czenko, M. & Etalle, S., 2007, Enschede: Universiteit Twente. 22 blz. (CTIT Technical Report; vol. TR-CTIT-07-22)

Onderzoeksoutput: Boek/rapportRapportAcademic

4 Citaties (Scopus)

Extended privilege inheritance in RBAC

Dekker, M. A. C., Cederquist, J. G., Crampton, J. & Etalle, S., 2007, Enschede: Universiteit Twente. 12 blz. (CTIT Technical Report; vol. TR-CTIT-07-36)

Onderzoeksoutput: Boek/rapportRapportAcademic

7 Citaties (Scopus)

Model-based mitigation of availability risks

Zambon, E., Bolzoni, D. & Etalle, S., 2007, Enschede: Universiteit Twente. 11 blz. (CTIT Technical Report; vol. TR-CTIT-07-04)

Onderzoeksoutput: Boek/rapportRapportAcademic

RBAC administration in distributed systems

Dekker, M. A. C., Crampton, J. & Etalle, S., 2007, Enschede: Universiteit Twente. 19 blz. (CTIT Technical Report; vol. TR-CTIT-07-27)

Onderzoeksoutput: Boek/rapportRapportAcademic

Refinement for administrative policies

Dekker, M. A. C. & Etalle, S., 2007, Enschede: Universiteit Twente. 16 blz. (CTIT Technical Report; vol. TR-CTIT-07-47)

Onderzoeksoutput: Boek/rapportRapportAcademic

3 Citaties (Scopus)

The meaning of logs

Etalle, S., Massacci, F. & Yautsiukhin, A., 2007, Enschede: Universiteit Twente. 12 blz. (CTIT Technical Report; vol. TR-CTIT-07-24)

Onderzoeksoutput: Boek/rapportRapportAcademic

2006

APHRODITE : an anomaly-based architecture for false positive reduction

Bolzoni, D. & Etalle, S., 2006, Enschede: Universiteit Twente. 18 blz. (CTIT Technical Report; vol. TR-CTIT-06-13)

Onderzoeksoutput: Boek/rapportRapportAcademic

Audit-based access control for electronic health records

Dekker, M. A. C. & Etalle, S., 2006, Enschede: Universiteit Twente. 16 blz. (CTIT Technical Report; vol. TR-CTIT-06-49)

Onderzoeksoutput: Boek/rapportRapportAcademic

Extended privilege inheritance in RBAC

Dekker, M. A. C., Cederquist, J. G., Crampton, J. & Etalle, S., 2006, Enschede: Universiteit Twente. 12 blz. (CTIT Technical Report; vol. TR-CTIT-06-62)

Onderzoeksoutput: Boek/rapportRapportAcademic

Privacy in an ambient world

Dekker, M. A. C., Etalle, S. & Hartog, den, J. I., 2006, Enschede: Universiteit Twente. 15 blz. (CTIT Technical Report; vol. TR-CTIT-06-16)

Onderzoeksoutput: Boek/rapportRapportAcademic

The audit logic : policy compliance in distributed systems

Cederquist, J. G., Corin, R. J., Dekker, M. A. C., Etalle, S., Hartog, den, J. I. & Lenzini, G., 2006, Enschede: Universiteit Twente. 14 blz. (CTIT Technical Report; vol. TR-CTIT-06-33)

Onderzoeksoutput: Boek/rapportRapportAcademic

2005
2 Citaties (Scopus)

A formal security analysis of an OSA/Parlay authentication interface

Corin, R. J., Di Caprio, G., Etalle, S., Gnesi, S., Lenzini, G. & Moiso, C., 2005, Enschede: Universiteit Twente. 16 blz. (CTIT Technical Report; vol. TR-CTIT-05-62)

Onderzoeksoutput: Boek/rapportRapportAcademic

8 Citaties (Scopus)

Integrity constraints in trust management

Etalle, S. & Winsborough, W. H., 2005, Enschede: Universiteit Twente. 17 blz. (CTIT Technical Report; vol. TR-CTIT-05-12)

Onderzoeksoutput: Boek/rapportRapportAcademic

LicenseScript : a logical language for digital rights management

Chong, C. N., Corin, R. J., Doumen, J. M., Etalle, S., Hartel, P. H., Law, Y. W. & Tokmakoff, A., 2005, Enschede: Universiteit Twente. 37 blz. (CTIT Technical Report; vol. TR-CTIT-05-09)

Onderzoeksoutput: Boek/rapportRapportAcademic

Nonmonotonic trust management for P2P applications

Czenko, M., Tran, H., Doumen, J. M., Etalle, S., Hartel, P. H. & Hartog, den, J. I., 2005, Enschede: Universiteit Twente. 12 blz. (CTIT Technical Report; vol. TR-CTIT-05-22)

Onderzoeksoutput: Boek/rapportRapportAcademic

Overview of security research in EYES

Law, Y. W., Hartel, P. H., Etalle, S., Havinga, P. J. M., Di Pietro, R. & Mancini, L. V., 2005, Enschede: Universiteit Twente. 4 blz. (CTIT Technical Report; vol. TR-CTIT-05-06)

Onderzoeksoutput: Boek/rapportRapportAcademic

Poseidon : a 2-tier anomaly-based intrusion detection system

Bolzoni, D., Zambon, E., Etalle, S. & Hartel, P. H., 2005, Enschede: Universiteit Twente. 11 blz. (CTIT Technical Report; vol. TR-CTIT-05-53)

Onderzoeksoutput: Boek/rapportRapportAcademic

Timed analysis of security protocols

Corin, R. J., Etalle, S., Hartel, P. H. & Mader, A. H., 2005, Enschede: Universiteit Twente. 30 blz. (CTIT Technical Report; vol. TR-CTIT-05-14)

Onderzoeksoutput: Boek/rapportRapportAcademic

2004

A logic for auditing accountability in decentralized systems

Corin, R. J., Etalle, S., Hartog, den, J. I., Lenzini, G. & Staicu, I. S., 2004, Enschede: Universiteit Twente. 17 blz. (CTIT Technical Report; vol. TR-CTIT-04-27)

Onderzoeksoutput: Boek/rapportRapportAcademic

A simple procedure for finding guessing attacks (Extended Abstract)

Corin, R. J. & Etalle, S., 2004, Enschede: Universiteit Twente. 8 blz. (CTIT Report; vol. TR-CTIT-04-23)

Onderzoeksoutput: Boek/rapportRapportAcademic

1 Citaat (Scopus)

Declarative semantics of input consuming logic programs

Bossi, A., Cocco, N., Etalle, S. & Rossi, S., 2004, Enschede: Universiteit Twente. 24 blz. (CTIT Technical Report; vol. TR-CTIT-04-06)

Onderzoeksoutput: Boek/rapportRapportAcademic

Inter-library service brokerage in LicenseScript

Chong, C. N., Etalle, S., Hartel, P. H., Joosten, R. & Kleinhuis, G., 2004, Enschede: Universiteit Twente. 9 blz. (CTIT Technical Report; vol. TR-CTIT-04-33)

Onderzoeksoutput: Boek/rapportRapportAcademic

License protection with a tamper-resistant token

Chong, C. N., Ren, B., Doumen, J. M., Etalle, S., Hartel, P. H. & Corin, R. J., 2004, Enschede: Universiteit Twente. 16 blz. (CTIT Technical Report; vol. TR-CTIT-04-28)

Onderzoeksoutput: Boek/rapportRapportAcademic

Modelling mobility aspects of security policies

Hartel, P. H., Eck, van, P. A. T., Etalle, S. & Wieringa, R. J., 2004, Enschede: Universiteit Twente. 12 blz. (CTIT Technical Report; vol. TR-CTIT-04-06)

Onderzoeksoutput: Boek/rapportRapportAcademic

Security analysis of Parlay/OSA framework

Corin, R. J., Di Caprio, G., Etalle, S., Gnesi, S., Lenzini, G. & Moiso, C., 2004, Enschede: Universiteit Twente. 13 blz. (CTIT Report; vol. TR-CTIT-04-37)

Onderzoeksoutput: Boek/rapportRapportAcademic

Service brokerage with Prolog

Chong, C. N., Etalle, S., Hartel, P. H., Joosten, R. & Kleinhuis, G., 2004, Enschede: Universiteit Twente. 15 blz. (CTIT Technical Report; vol. TR-CTIT-04-14)

Onderzoeksoutput: Boek/rapportRapportAcademic

StreamTo : streaming content using a tamper-resistant token

Cheng, J., Chong, C. N., Doumen, J. M., Etalle, S., Hartel, P. H. & Nikolaus, S., 2004, Enschede: Universiteit Twente. 18 blz. (CTIT Technical Report; vol. TR-CTIT-04-047)

Onderzoeksoutput: Boek/rapportRapportAcademic

26 Citaties (Scopus)

Timed model checking of security protocols

Corin, R. J., Etalle, S., Hartel, P. H. & Mader, A. H., 2004, Enschede: Universiteit Twente. 15 blz. (CTIT Technical Report; vol. TR-CTIT-04-24)

Onderzoeksoutput: Boek/rapportRapportAcademic

2003
21 Citaties (Scopus)

A formally verified decentralized key management architecture for wireless sensor networks

Law, Y. W., Corin, R. J., Etalle, S. & Hartel, P. H., 2003, Enschede: Universiteit Twente. 13 blz. (CTIT Technical Report; vol. TR-CTIT-03-07)

Onderzoeksoutput: Boek/rapportRapportAcademic

Analysing password protocol security against off-line dictionary attacks

Corin, R. J., Doumen, J. M. & Etalle, S., 2003, Enschede: Universiteit Twente. 19 blz. (CTIT Technical Report; vol. TR-CTIT-03-52)

Onderzoeksoutput: Boek/rapportRapportAcademic

2 Citaties (Scopus)

Approximating fair use in LicenseScript

Chong, C. N., Law, Y. W., Etalle, S. & Hartel, P. H., 2003, Enschede: Universiteit Twente. 12 blz. (CTIT Technical Report; vol. TR-CTIT-03-32)

Onderzoeksoutput: Boek/rapportRapportAcademic

A trace logic for local security properties

Corin, R. J., Durante, A., Etalle, S. & Hartel, P. H., 2003, Enschede: Universiteit Twente. 12 blz. (CTIT Technical Report; vol. TR-CTIT-03-21)

Onderzoeksoutput: Boek/rapportRapportAcademic

6 Citaties (Scopus)

Comparing logic-based and XML-based rights expression languages

Chong, C. N., Etalle, S. & Hartel, P. H., 2003, Enschede: Universiteit Twente. 40 blz. (CTIT Technical Report; vol. TR-CTIT-03-30)

Onderzoeksoutput: Boek/rapportRapportAcademic

Experimenting with linear search in encrypted data

Brinkman, R., Feng, L., Etalle, S., Hartel, P. H. & Jonker, W., 2003, Enschede: Universiteit Twente. 9 blz. (CTIT Technical Report; vol. TR-CTIT-03-43)

Onderzoeksoutput: Boek/rapportRapportAcademic

Guess what? Here is a new tool that finds some new guessing attacks (Extended Abstract)

Corin, R. J., Malladi, S., Alves-Foss, J. & Etalle, S., 2003, Enschede: Universiteit Twente. 5 blz. (CTIT Technical Report; vol. TR-CTIT-03-02)

Onderzoeksoutput: Boek/rapportRapportAcademic

How to pay in LicenseScript

Corin, R. J., Chong, C. N., Etalle, S. & Hartel, P. H., 2003, Enschede: Universiteit Twente. 5 blz. (CTIT Technical Report; vol. TR-CTIT-03-31)

Onderzoeksoutput: Boek/rapportRapportAcademic

32 Citaties (Scopus)

LicenseScript : a novel digital rights language

Chong, C. N., Corin, R. J., Etalle, S., Hartel, P. H. & Law, Y. W., 2003, Enschede: Universiteit Twente. 12 blz. (CTIT Technical Report; vol. TR-CTIT-03-10)

Onderzoeksoutput: Boek/rapportRapportAcademic

32 Citaties (Scopus)

LicenseScript : a novel digital rights language and its semantics

Chong, C. N., Corin, R. J., Etalle, S., Hartel, P. H., Jonker, W. & Law, Y. W., 2003, Enschede: Universiteit Twente. 9 blz. (CTIT Technical Report; vol. TR-CTIT-03-16)

Onderzoeksoutput: Boek/rapportRapportAcademic

Licensing structured data with ease

Law, Y. W., Chong, C. N., Etalle, S., Hartel, P. H. & Corin, R. J., 2003, Enschede: Universiteit Twente. 6 blz. (CTIT Technical Report; vol. TR-CTIT-03-33)

Onderzoeksoutput: Boek/rapportRapportAcademic

94 Citaties (Scopus)

LKHW : a directed diffusion-based secure multicast scheme for wireless sensor networks

Di Pietro, R., Mancini, L. V., Law, Y. W., Etalle, S. & Havinga, P. J. M., 2003, Enschede: Universiteit Twente. 16 blz. (CTIT Technical Report; vol. TR-CTIT-03-29)

Onderzoeksoutput: Boek/rapportRapportAcademic

Wireless sensor networks
Network protocols
Communication
Costs

On modelling real-time and security properties of distributed systems (Extended Abstract)

Corin, R. J., Etalle, S., Hartel, P. H. & Mader, A. H., 2003, Enschede: Universiteit Twente. 5 blz. (CTIT Technical Report; vol. TR-CTIT-03-46)

Onderzoeksoutput: Boek/rapportRapportAcademic