901 search results - page 70 / 181 » Secure Internet Applications Based on Mobile Agents |
129
click to vote
WWW
2010
ACM
16 years 10 days ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
166
Voted
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a social and personal context modeling method on mobile device. It infers user’s contexts, such as amity with others and emotional state, from uncertain logs...
162
Voted
ENTCS
2007
15 years 5 months ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...
174
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
This paper deals with a new approach to build a completely distributed and decentralized Intrusion Detection and Response System (IDRS) in computer networks. This approach is call...
150
Voted
CCS
2001
ACM
15 years 9 months ago
2001
ACM
Authenticating mobile computing users can require a significant amount of processing and communications resources— particularly when protocols based on public key encryption are...