461 search results - page 5 / 93 » Developing security protocols by refinement |
JNW
2006
13 years 7 months ago
2006
In this research article we discuss the protocols, architecture and propose the design of Network Domain Security (NDS) model for IP Multimedia Subsystem (IMS). The IMS is standard...
IEEEARES
2010
IEEE
14 years 1 days ago
2010
IEEE
Almost every company needs to process invoices to either claim money from their customers or to pay for products or services. Although companies are allowed to electronically proce...
ASM
2008
ASM
13 years 9 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
FAC
2010
13 years 5 months ago
2010
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...
ETRICS
2006
13 years 11 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...