222 search results - page 15 / 45 » Secure Content Delivery using Key Composition |
CSEE
2000
Springer
13 years 12 months ago
2000
Springer
Teaching provides many challenges. Presenting Software Engineering to students brings a teacher face to face with a most unwieldy subject. Packaging this subject for delivery to a...
ENTCS
2007
13 years 7 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
ICALT
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we examine the semantic aspects of learning from both pedegogical and technological points of view. We suggest that if semantics are to fullfil their potential in th...
ICALT
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we suggest that if semantics are to fullfil their potential in the learning domain then a paradigm shift in perspective is necessry from information based content de...
CONEXT
2009
ACM
13 years 5 months ago
2009
ACM
Today's online social networking (OSN) sites do little to protect the privacy of their users' social networking information. Given the highly sensitive nature of the inf...