1 Intelligent Information Systems on the Web and in the Aether Tim Finin University of Maryland Baltimore County March 21, ppt download
Active privilege management for distributed access control systems
Trust Management Tools for Internet Applications
PDF) Secure Prolog-Based Mobile Code
Franz.1 - pg.4 - 2.3.4.6.72 - 17.4.qxd
Untitled
SPIDER Getting Started
SICStus Prolog Homepage
SPIDER Getting Started
PDF) Timed Coordination Artifacts with ReSpecT | Mirko Viroli - Academia.edu
Franz.1 - pg.4 - 2.3.4.6.72 - 17.4.qxd
SPIDER Getting Started
SPIDER Getting Started
SPIDER Getting Started
I2-D1 Rule-based Policy Specification: State of ... - Daniel Olmedilla
Franz.1 - pg.4 - 2.3.4.6.72 - 17.4.qxd
PDF) Dagstuhl Seminar Proceedings 09121 | Pablo Noriega - Academia.edu
SICStus Prolog
Creating a Credential for a Proxied Web Service
SAT-based Model-Checking of Security Protocols Luca Compagna
Creating a Credential for a Proxied Web Service
SPIDER Getting Started
FYP_similartags/allTags_test.txt at master · lint0011/FYP_similartags · GitHub
Implementing Web-based e-Health Portal Systems
PDF) Secure Prolog-Based Mobile Code
Untitled
SPIDER Getting Started
