2687 search results - page 33 / 538 » Formal Analysis of PKCS |
SERP
2007
14 years 11 days ago
2007
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...
ICDCS
2005
IEEE
14 years 4 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
ITCC
2005
IEEE
14 years 4 months ago
2005
IEEE
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
CCS
2003
ACM
14 years 4 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...