4111 search results - page 381 / 823 » Security, Protocols, and Trust |
225
Voted
ESWS
2006
Springer
15 years 11 months ago
2006
Springer
Policies are pervasive in web applications. They play crucial roles in enhancing security, privacy and usability of distributed services. There has been extensive research in the a...
191
click to vote
PST
2008
15 years 9 months ago
2008
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...
192
click to vote
USS
2004
15 years 9 months ago
2004
Privilege separation partitions a single program into two parts: a privileged program called the monitor and an unprivileged program called the slave. All trust and privileges are...
418
Voted
Lecture Notes
The lecture notes cover the following topics,
Fundamentals (OSI Reference Model, Coding, Ethernet), Data Link Control (Flow Control, Error Control, HDLC, PPP), Internet Protocol ...
185
click to vote
IJNSEC
2007
15 years 7 months ago
2007
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly genera...