security
22 pages in this folder
A Language-Based Approach To Prevent DDoS
14 out · 24 in
A Logic of Authentication
25 out · 12 in
Agent Tcl Flexible Secure Mobile Agents
15 out · 23 in
Agents Secure Interaction in Data Driven Languages
16 out · 15 in
Architectural Patterns for Dependable Software Systems - SOL
19 out · 19 in
Authentication in Distributed Systems - Lampson Abadi Burrows Wobber
55 out · 13 in
DAgents Security Book Chapter
18 out · 20 in
Enforceable Security Policies - Schneider
48 out · 12 in
Exploit Programming - From Buffer Overflows To Weird Machines
19 out · 11 in
Extensible Distributed Coordination
16 out · 13 in
Guns and Butter - Towards Formal Axioms of Input Validation
26 out · 3 in
MCP Landscape Security Threats And Future Research Directions
19 out · 4 in
PKI Layer Cake - Kaminsky Patterson Sassaman
18 out · 27 in
Principled Design Of The Modern Web Architecture
16 out · 19 in
Proof-Carrying Code - Necula
52 out · 22 in
Secure Communications Processing for Distributed Languages
17 out · 15 in
Security Applications Of Formal Language Theory
23 out · 21 in
Security Kernel Lambda Calculus
13 out · 27 in
Spi Calculus
40 out · 33 in
The Halting Problems of Network Stack Insecurity
21 out · 25 in
The Protection of Information in Computer Systems
21 out · 2 in
Using Encryption for Authentication
27 out · 11 in