2236 search results - page 278 / 448 » Secure Software Design in Practice |
CCS
2008
ACM
15 years 2 days ago
2008
ACM
To ensure that a trust negotiation succeeds whenever possible, authorization policy compliance checkers must be able to find all minimal sets of their owners' credentials tha...
IACR
2011
13 years 9 months ago
2011
Secure two-party computation protocol allows two players, Alice with secret input x and Bob with secret input y, to jointly execute an arbitrary program π(x, y) such that only th...
INDOCRYPT
2003
Springer
15 years 3 months ago
2003
Springer
The RC4 stream cipher is the most widely used software based stream cipher. It is based on a secret internal state of N = 256 bytes and two pointers. This paper proposes an efficie...
EURODAC
1994
IEEE
15 years 2 months ago
1994
IEEE
- The design methodology and technique is presented to expand the power of commercial SPICE to simulate mixed electricalthermal-mechanical microsystems, consisting of motors being ...
WOA
2003
14 years 11 months ago
2003
— The design and the implementation of software for mobile computers and for pervasive computing environments entail several issues and lead to new requirements. Applications mus...