Search Constraints
« Previous |
1 - 20 of 44
|
Next »
Search Results
Select an image to start the slideshow
Formalization and Verification of Rewriting-Based Security Polices
1 of 20
Noninterference in Concurrent Game Structures
2 of 20
Graph Decompositions and Monadic Second Order Logic
3 of 20
Multi-Decision Policy and Policy Combinator Specifications
4 of 20
First-Order Models for Configuration Analysis
5 of 20
A Framework for Exploring Finite Models
6 of 20
User Evaluation Framework for Model Finding Research
7 of 20
Analysis of social networks using Facebook
8 of 20
Wall Street Project
9 of 20
Trusted Execution Environments with Architectural Support: Foundations and Implementation
10 of 20
Translating Alloy to SMT-LIB
11 of 20
Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading
12 of 20
Towards a Transition System Semantics for Alloy
13 of 20
Scenarios for Description Logic
14 of 20
Risk Reporting Techniques
15 of 20
Protocol Analysis via The Chase
16 of 20
Privacy in Online Social Networks
17 of 20
A Natural Language Interface Using First Order Logic
18 of 20
Modeling and Analyzing Security Requirements for Java
19 of 20
Interactive Model Finding with Hominy
20 of 20
