3742 search results - page 734 / 749 » On the Use of Formal Techniques for Validation |
115
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
Protocols for authenticated key exchange (AKE) allow parties within an insecure network to establish a common session key which can then be used to secure their future communicati...
120
click to vote
MMMACNS
2005
Springer
15 years 7 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
124
click to vote
SAC
2004
ACM
15 years 7 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...
133
click to vote
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
126
click to vote
PODS
2000
ACM
15 years 6 months ago
2000
ACM
In a variety of applications ranging from optimizing queries on alphanumeric attributes to providing approximate counts of documents containing several query terms, there is an in...