Presentation is loading. Please wait.

Presentation is loading. Please wait.

Policy Management & Enforcement. Overview S3MS Deployment Center Already demoed at M18 Off-device Inlining demo Already demoed at M18 DEMO 1: On-device.

Similar presentations


Presentation on theme: "Policy Management & Enforcement. Overview S3MS Deployment Center Already demoed at M18 Off-device Inlining demo Already demoed at M18 DEMO 1: On-device."— Presentation transcript:

1 Policy Management & Enforcement

2 Overview S3MS Deployment Center Already demoed at M18 Off-device Inlining demo Already demoed at M18 DEMO 1: On-device Matching DEMO 2: On-device Inlining

3 S3MS Deployment Center

4 Main changes between M18 and M24 Support for metadata generation Creation of new representation compilers Greatly updated inliner and PDP generator Extended multi-runtime support.NET CF 2.0, full.NET 2.0, Mono, … Stability and UI improvements

5 S3MS Deployment Center

6 Policy Management

7

8 Metadata

9 Off-device inlining

10

11 DEMO 1 and DEMO 2 Demo 1: On-device matching Demo 2: On-device inlining Uses the Omnys case study Shown on video Live demo available on demand!

12 DEMO 1: On-device matching In this demo, we use semantic matching Hash-based, identical and remote matching also implemented Semantic matching algorithm is developed by UNITN This demo shows the integration of the matcher into our application deployer The algorithm details will be detailed by UNITN in a following presentation The demo device is setup to only support matching No inlining

13 DEMO 1: On-device matching Policy SCOPE SESSION SECURITY STATE BEFORE WebRequest.Create(string url) PERFORM url.StartsWith("http") -> {skip;} SCOPE SESSION SECURITY STATE CONST int maxMessage = 5; int messageSent = 0 RANGE 0.. 5; BEFORE SmsMessage.Send() PERFORM messageSent { skip; } AFTER SmsMessage.Send() PERFORM true -> { messageSent = messageSent + 1; } Contract SCOPE SESSION SECURITY STATE BEFORE WebRequest.Create(string url) PERFORM url.StartsWith("http") -> {skip;} url.StartsWith("ftp") -> {skip;} SCOPE SESSION SECURITY STATE CONST int maxMessage = 5; int messageSent = 0 RANGE 0.. 5; BEFORE SmsMessage.Send() PERFORM messageSent { skip; } AFTER SmsMessage.Send() PERFORM true -> { messageSent = messageSent + 1; }

14

15 DEMO 1: On-device matching Policy SCOPE SESSION SECURITY STATE CONST int maxKbRecieve = 1024; BEFORE BeginReceive(byte[] buffer, int offset, int size, SocketFlags socketFlags, AsyncCallback callback, Object state) PERFORM size { skip; } SCOPE SESSION SECURITY STATE CONST int maxMessage = 7; int messageSent = 0 RANGE 0.. 7; BEFORE SmsMessage.Send() PERFORM messageSent { skip; } AFTER SmsMessage.Send() PERFORM true -> { messageSent = messageSent + 1; } Contract SCOPE SESSION SECURITY STATE CONST int maxKbRecieve = 512; BEFORE BeginReceive(byte[] buffer, int offset, int size, SocketFlags socketFlags, AsyncCallback callback, Object state) PERFORM size { skip;} SCOPE SESSION SECURITY STATE CONST int maxMessage = 5; int messageSent = 0 RANGE 0.. 5; BEFORE SmsMessage.Send() PERFORM messageSent { skip; } AFTER SmsMessage.Send() PERFORM true -> { messageSent = messageSent + 1; }

16

17 DEMO 2: On-device inlining Inlining can be used for legacy applications Without a contract/proof/signature/… In this demo, we want to limit the access to the contacts

18


Download ppt "Policy Management & Enforcement. Overview S3MS Deployment Center Already demoed at M18 Off-device Inlining demo Already demoed at M18 DEMO 1: On-device."

Similar presentations


Ads by Google