| Nome |
# |
|
Language-Independent Synthesis of Firewall Policies, file e0d6c92e-b6b0-fcf8-e053-d805fe0aa794
|
178
|
|
Context-aware security: Linguistic mechanisms and static analysis, file e0d6c927-afd7-fcf8-e053-d805fe0aa794
|
159
|
|
A Context-Oriented Extension of F#., file e0d6c927-5e2c-fcf8-e053-d805fe0aa794
|
137
|
|
Security Metrics at Work on the Things in IoT Systems, file e0d6c92e-70a2-fcf8-e053-d805fe0aa794
|
137
|
|
A Step Towards Checking Security in IoT, file e0d6c927-a5ba-fcf8-e053-d805fe0aa794
|
132
|
|
Revealing the trajectories of KLAIM tuples, statically, file e0d6c92d-b37d-fcf8-e053-d805fe0aa794
|
124
|
|
Experimenting with a Context-Aware Language, file e0d6c92d-0088-fcf8-e053-d805fe0aa794
|
118
|
|
null, file e0d6c92c-f6e9-fcf8-e053-d805fe0aa794
|
110
|
|
Linguistic Mechanisms for Context-Aware Security, file e0d6c92d-3110-fcf8-e053-d805fe0aa794
|
110
|
|
A Quantitative Study of Two Attacks, file e0d6c927-6b5a-fcf8-e053-d805fe0aa794
|
108
|
|
Last Mile’s Resources, file e0d6c92c-e7fb-fcf8-e053-d805fe0aa794
|
108
|
|
Where Do Your IoT Ingredients Come From?, file e0d6c927-b544-fcf8-e053-d805fe0aa794
|
89
|
|
Transcompiling Firewalls, file e0d6c92d-37a9-fcf8-e053-d805fe0aa794
|
85
|
|
Firewall Management With FireWall Synthesizer, file e0d6c92a-438d-fcf8-e053-d805fe0aa794
|
73
|
|
From Natural Projection to Partial Model Checking and Back, file e0d6c92d-32c5-fcf8-e053-d805fe0aa794
|
68
|
|
Tool Supported Analysis of IoT, file e0d6c92c-eb85-fcf8-e053-d805fe0aa794
|
59
|
|
Automata for Specifying and Orchestrating Service Contracts, file e0d6c930-37b1-fcf8-e053-d805fe0aa794
|
57
|
|
Here you can't: context-aware security., file e0d6c927-6cb7-fcf8-e053-d805fe0aa794
|
44
|
|
Programming in a context-aware language, file e0d6c930-8f4f-fcf8-e053-d805fe0aa794
|
31
|
|
Natural Projection as Partial Model Checking, file e0d6c92f-5b29-fcf8-e053-d805fe0aa794
|
25
|
|
Security in Pervasive Applications: A Survey, file e0d6c92d-1b6b-fcf8-e053-d805fe0aa794
|
21
|
|
null, file e0d6c929-4c18-fcf8-e053-d805fe0aa794
|
18
|
|
Tracing where IoT data are collected and aggregated, file e0d6c930-7016-fcf8-e053-d805fe0aa794
|
6
|
|
Context-aware security: Linguistic mechanisms and static analysis, file e0d6c927-a878-fcf8-e053-d805fe0aa794
|
5
|
|
Names of the Pi-Calculus Agents Handled Locally, file e0d6c926-1c26-fcf8-e053-d805fe0aa794
|
3
|
|
Formalising Security in Ubiquitous and Cloud Scenarios, file e0d6c926-390f-fcf8-e053-d805fe0aa794
|
3
|
|
null, file e0d6c931-790f-fcf8-e053-d805fe0aa794
|
3
|
|
Static Validation of Security Protocols, file e0d6c926-1a59-fcf8-e053-d805fe0aa794
|
2
|
|
null, file e0d6c927-5e1f-fcf8-e053-d805fe0aa794
|
2
|
|
Where Do Your IoT Ingredients Come From?, file e0d6c927-a802-fcf8-e053-d805fe0aa794
|
2
|
|
Authentication Primitives for Refining Protocol Specifications, file e0d6c926-1f8b-fcf8-e053-d805fe0aa794
|
1
|
|
An Enhanced CFA for Security Policies, file e0d6c926-22b1-fcf8-e053-d805fe0aa794
|
1
|
|
Causality and replication in concurrent processes, file e0d6c926-28f7-fcf8-e053-d805fe0aa794
|
1
|
|
Constructing specific SOS semantics for concurrency via abstract interpretation, file e0d6c926-3256-fcf8-e053-d805fe0aa794
|
1
|
|
null, file e0d6c927-5dbf-fcf8-e053-d805fe0aa794
|
1
|
|
Process calculi for biological processes, file e0d6c92a-cec3-fcf8-e053-d805fe0aa794
|
1
|
|
Revealing the trajectories of KLAIM tuples, statically, file e0d6c92d-a8aa-fcf8-e053-d805fe0aa794
|
1
|
|
Are All Firewall Systems Equally Powerful?, file e0d6c92d-ed9c-fcf8-e053-d805fe0aa794
|
1
|
| Totale |
2.025 |