1777 search results - page 282 / 356 » Programming Cryptographic Protocols |
ACMICEC
2007
ACM
14 years 23 days ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
B
2007
Springer
14 years 22 days ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
CAV
2004
Springer
14 years 15 days ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
HPDC
1997
IEEE
14 years 9 days ago
1997
IEEE
High-performance execution in distributed computing environments often requires careful selection and configuration not only of computers, networks, and other resources but also o...
LISA
2003
13 years 10 months ago
2003
Telecommuting and access over a Wireless LAN require strong security at the network level. Although IPsec is well-suited for this task, it is difficult to configure and operate ...