calculus for the analysis of wireless network security protocols
FREE-DOWNLOADF Ballardin… , 2011 Abstract We propose a timed broadcasting calculus for wireless sys- tems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled Transition Seman- tics. We prove that the two semantics coincide. The labelled transition system is
Constructing enterprise information network security risk management mechanism by ontology
FREE-DOWNLOADFH Liu… – Tamkang Journal of Science and Engineering, 2010 Along with the development of information technology and internet, a lot of modern technology methods and tools are used to management. Therefore, it is an important discussion to information security risk management. In this paper, we buring up an ontology structure of information
Security properties in an open peer-to-peer network
FREE-DOWNLOADJF Lalande, D Rodriguez…2010 This paper proposes to address new requirements of confidentiality, integrity and availability properties fitting to peer-to-peer domains of resources. The enforcement of security properties in an open peer-to- peer network remains an open problem as the literature have mainly