902 search results - page 97 / 181 » Security and Trust Requirements Engineering |
EUROMICRO
1997
IEEE
15 years 2 months ago
1997
IEEE
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
SECURWARE
2008
IEEE
15 years 4 months ago
2008
IEEE
— In current peer-to-peer systems users interact with unknown services and users for the purpose of online transactions such as file sharing and trading of commodities. Peer-to-...
MSWIM
2005
ACM
15 years 3 months ago
2005
ACM
We investigate how to obtain a balance between privacy and audit requirements in vehicular networks. Challenging the current trend of relying on asymmetric primitives within VANET...
ESAS
2007
Springer
15 years 4 months ago
2007
Springer
Responding to misbehavior in ad-hoc and sensor networks is difficult. We propose new techniques for deciding when to remove nodes in a decentralized manner. Rather than blackballin...