577 search results - page 6 / 116 » Engineering Sufficiently Secure Computing |
IEEEARES
2007
IEEE
15 years 3 months ago
2007
IEEE
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
INFOCOM
1996
IEEE
15 years 1 months ago
1996
IEEE
The Transmission Control Protocol Internet Protocol TCP IP 1 suite is a very widely used technique that is employed to interconnect computing facilities in modern network environm...
EUROCRYPT
2008
Springer
14 years 11 months ago
2008
Springer
Secure multi-party computation (MPC) is a central problem in cryptography. Unfortunately, it is well known that MPC is possible if and only if the underlying communication network...
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
Computer science is necessary but not sufficient to understand and overcome the problems we face in software engineering. We need to understand not only the properties of the soft...
BIRTHDAY
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...