5718 search results - page 170 / 1144 » Modeling Rule Precision |
192
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
181
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
184
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
In business-to-business e-commerce, traditional electronic data interchange (EDI) approaches such as UN/EDIFACT have been superseded by approaches like web services and ebXML. Nev...
184
click to vote
CSREASAM
2006
15 years 7 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...
208
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...