10899 search results - page 1803 / 2180 » The GP Programming System |
182
click to vote
IFIP
2005
Springer
16 years 8 days ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
166
click to vote
IFIP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Trust Management is an approach to construct and interpret the trust relationships among public-keys that are used to mediate security-critical actions. Cryptographic cre...
178
click to vote
IMR
2005
Springer
16 years 8 days ago
2005
Springer
Today, finite element technologies allow engineers to analyze complex assemblies and subsystems. With CPU power constantly increasing, it is not unreasonable to state that the eng...
193
click to vote
ISPEC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Access control is a system-wide concern that has both a generic nature and an application dependent characteristic. It is generic as many functions must be protected with...
165
click to vote
MKM
2005
Springer
16 years 8 days ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...