io-port.net

io-port 06071313 Pretschner, Alexander; Lovat, Enrico; Büchler, Matthias

Representation-independent data usage control. (English)

Garcia-Alfaro, Joaquin (ed.) et al., Data privacy management and autonomous spontaneus security. 6th international workshop, DPM 2011, and 4th international workshop, SETOP 2011, Leuven, Belgium, September 15‒16, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28878-4/pbk). Lecture Notes in Computer Science 7122, 122-140 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06026051 Reussner, Ralf (ed.); Pretschner, Alexander (ed.); Jähnichen, Stefan (ed.)

Software Engineering 2011 ‒ Workshopband. (German)

Lect. Notes Inform. 184. Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-278-9). 314~p. (2011).

2

PDF XML AMS-TeX TEXT BIBTeX FullText

io-port 05954685 Cuellar, Jorge (ed.); Lopez, Javier (ed.); Barthe, Gilles (ed.); Pretschner, Alexander (ed.)

Security and trust management. 6th international workshop, STM 2010, Athens, Greece, September 23‒24, 2010. Revised selected papers. (English)

Lecture Notes in Computer Science 6710. Berlin: Springer (ISBN 978-3-642-22443-0/pbk). x, 271~p. EUR~49.22 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05922320 Beckert, Bernhard; Hofheinz, Dennis; Müller-Quade, Jörn; Pretschner, Alexander; Snelting, Gregor

Software security in virtualized infrastructures - the smart meter example. (English)

it Inf. Technol. 53, No. 3, 142-151 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05918188 Büchler, Matthias; Oudinet, Johan; Pretschner, Alexander

Security mutants for property-based testing. (English)

Gogolla, Martin (ed.) et al., Tests and proofs. 5th international conference, TAP 2011, Zurich, Switzerland, June 30 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21767-8/pbk). Lecture Notes in Computer Science 6706, 69-77 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05890826 Ciupa, Ilinca; Pretschner, Alexander; Oriol, Manuel; Leitner, Andreas; Meyer, Bertrand

On the number and nature of faults found by random testing. (English)

Softw. Test., Verif. Reliab. 21, No. 1, 3-28 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70094151 Kumari, Prachi; Pretschner, Alexander; Peschla, Jonas; Kuhn, Jens-Michael

Distributed data usage control for web applications: a social network implementation (English)

CODASPY, 85-96 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70260723 Neisse, Ricardo; Holling, Dominik; Pretschner, Alexander

Implementing trust in cloud infrastructures (English)

CCGRID, 524-533 (2011).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70279635 Büchler, Matthias; Oudinet, Johan; Pretschner, Alexander

Security mutants for property-based testing (English)

TAP, 69-77 (2011).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70675279 Neisse, Ricardo; Pretschner, Alexander; Di Giacomo, Valentina

A trustworthy usage control enforcement framework (English)

ARES, 230-235 (2011).

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70675284 Moucha, Cornelius; Lovat, Enrico; Pretschner, Alexander

A hypervisor-based bus system for usage control (English)

ARES, 254-259 (2011).

11

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70720061 Lovat, Enrico; Pretschner, Alexander

Data-centric multi-layer usage control enforcement: a social network example (English)

SACMAT, 151-152 (2011).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 20005360 Reussner, Ralf (ed.); Pretschner, Alexander (ed.); Jähnichen, Stefan (ed.)

Software engineering 2011 - workshopband (inkl. Doktorandensymposium), fachtagung des GI-fachbereichs softwaretechnik, 21.-25.02.2011, karlsruhe (English)

LNI: Software Engineering (Workshops) 184 (2011).

13

PDF XML AMS-TeX TEXT BIBTeX

io-port 70572896 Pretschner, Alexander

Doktorandensymposium der SE 2010 (English)

Software Engineering (Workshops), 514-516 (2010).

14

PDF XML AMS-TeX TEXT BIBTeX

io-port 70740148 Pretschner, Andreas; Alder, Jochen

A synthesis of the standards IEC 61131 and IEC 61499 within the design system spas - software project tool for automatic control systems (English)

GI Jahrestagung (1), 420-428 (2010).

15

PDF XML AMS-TeX TEXT BIBTeX

io-port 20005359 Engels, Gregor (ed.); Luckey, Markus (ed.); Pretschner, Alexander (ed.); Reussner, Ralf (ed.)

Software engineering 2010 - workshopband (inkl. Doktorandensymposium), fachtagung des GI-fachbereichs softwaretechnik, 22.-26.02.2010, Paderborn (English)

LNI: Software Engineering (Workshops) 160 (2010).

16

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05749080 Pretschner, Alexander; Schütz, Florian; Schaefer, Christian; Walter, Thomas

Policy evolution in distributed usage control. (English)

Electron. Notes Theor. Comput. Sci. 244, 109-123 (2009).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70025738 Leitner, Andreas; Pretschner, Alexander; Mori, Stefan; Meyer, Bertrand; Oriol, Manuel

On the effectiveness of test extraction without overhead (English)

ICST, 416-425 (2009).

18

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70544604 Harvan, Matús; Pretschner, Alexander

State-based usage control enforcement with data flow tracking using system call interposition (English)

NSS, 373-380 (2009).

19

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70918891 Pretschner, Alexander; Rüesch, Judith; Schaefer, Christian; Walter, Thomas

Formal analyses of usage control policies (English)

ARES, 98-105 (2009).

20

PDF XML AMS-TeX TEXT BIBTeX DOI