Confidentiality for Multithreaded Dalvik Programs by SIFUM Security

Published on 8.10.2015
Published in tu-darmstadt

Non-interference properties on programs describe the absence illicit information flows. We focus on non-interference properties for the byte-code language of the Dalvik virtual machine (DVM). The DVM executes programs on Android, a popular operating system for mobile phones. Most programs for Android make extensive use of multi-threading to ensure smooth responses to user interactions. We introduce an abstract transition system that supports multi-threading and instantiate it with a subset of the DVM. To capture the notion of secure/legal information flow for this abstract transition system, we introduce a bisimula- tion based non-interference property that exploits the intended data usage of concurrently executed threads.

Attachments

Thesis

Leave a Reply

Comments

Kommentare für diesen Eintrag als RSS Feed
Megan Atkinson on 13.05.2023 wrote Reply

Hi there,

We run an Instagram growth service, which increases your number of followers both safely and practically.

  • Guaranteed: We guarantee to gain you 400-1200+ followers per month.
  • Real, human followers: People follow you because they are interested in your business or niche.
  • Safe: All actions are made manually. We do not use any bots.

The price is just $60 (USD) per month, and we can start immediately.

If you are interested, and would like to see some of our previous work, let me know and we can discuss further.

Kind Regards, Megan

Megan Atkinson on 22.05.2023 wrote Reply

Hi there,

We run an Instagram growth service, which increases your number of followers both safely and practically.

  • We guarantee to gain you 400-1000+ followers per month.
  • People follow you because they are interested in you, increasing likes, comments and interaction.
  • All actions are made manually by our team. We do not use any 'bots'.

The price is just $60 (USD) per month, and we can start immediately.

If you'd like to see some of our previous work, let me know, and we can discuss it further.

Kind Regards, Megan

Megan Atkinson on 11.06.2023 wrote Reply

Hi there,

We run an Instagram growth service, which increases your number of followers both safely and practically.

  • Guaranteed: We guarantee to gain you 400-1200+ followers per month.
  • Real, human followers: People follow you because they are interested in your business or niche.
  • Safe: All actions are made manually. We do not use any bots.

The price is just $60 (USD) per month, and we can start immediately.

If you are interested, and would like to see some of our previous work, let me know and we can discuss further.

Kind Regards, Megan

Cancel

Lucy Graham on 22.06.2023 wrote Reply

Hi there,

We run a Twitter growth service, which increases your number of followers both safely and practically.

  • We guarantee to gain you 400-1000+ followers per month.
  • People follow you because they are interested in you, increasing likes, comments and interaction.
  • All actions are made manually by our team. We do not use any 'bots'.

The price is just $60 (USD) per month, and we can start immediately.

If you'd like to see some of our previous work, let me know, and we can discuss it further.

Kind Regards, Lucy

Megan Atkinson on 6.07.2023 wrote Reply

Hi there,

We run an Instagram growth service, which increases your number of followers both safely and practically.

  • We guarantee to gain you 400-1000+ followers per month.
  • People follow you because they are interested in you, increasing likes, comments and interaction.
  • All actions are made manually by our team. We do not use any 'bots'.

The price is just $60 (USD) per month, and we can start immediately.

If you'd like to see some of our previous work, let me know, and we can discuss it further.

Kind Regards, Megan

Megan Atkinson on 27.07.2023 wrote Reply

Hi there,

We run an Instagram growth service, which increases your number of followers both safely and practically.

  • We guarantee to gain you 400-1000+ followers per month.
  • People follow you because they are interested in you, increasing likes, comments and interaction.
  • All actions are made manually by our team. We do not use any 'bots'.

The price is just $60 (USD) per month, and we can start immediately.

If you'd like to see some of our previous work, let me know, and we can discuss it further.

Kind Regards, Megan

Megan Atkinson on 25.08.2023 wrote Reply

Hi there,

We run an Instagram growth service, which increases your number of followers safely and practically.

We aim to gain you 400-1200+ real human followers per month, with all actions safe as they are made manually (no bots).

The price is just $60 (USD) per month, and we can start immediately.

Let me know if you wish to see some of our previous work.

Kind Regards, Megan

Megan Atkinson on 8.11.2023 wrote Reply

Hi there,

We run an Instagram growth service, which increases your number of followers both safely and practically.

  • We guarantee to gain you 300-1000+ followers per month.
  • People follow you because they are interested in you, increasing likes, comments and interaction.
  • All actions are made manually by our team. We do not use any 'bots'.

The price is just $60 (USD) per month, and we can start immediately.

If you have any questions, let me know, and we can discuss further.

Kind Regards, Megan

Libby Evans on 28.11.2023 wrote Reply

Hi there,

We run an Instagram growth service, which increases your number of followers both safely and practically.

  • We guarantee to gain you 300-1000+ followers per month.
  • People follow you because they are interested in you, increasing likes, comments and interaction.
  • All actions are made manually by our team. We do not use any 'bots'.

The price is just $60 (USD) per month, and we can start immediately.

If you have any questions, let me know, and we can discuss further.

Kind Regards, Libby