FASER (Formal and Automatic Security Enforcement by Rewriting) by BPA algebra with test

ISSN： 1741-847X

Source： International Journal of Grid and Utility Computing, Vol.4, Iss.2-3, 2013-09, pp. : 204-211

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

An automatic security test engine for IPv6 network

By Kwon Hyeok Chan Kim Sang Choon Nah Jae Hoon Sohn Sung Won

International Journal of Wireless and Mobile Computing, Vol. 1, Iss. 1, 2005-11 ,pp. : 61-69

Inderscience Publishers

Access to resources Recommend Favorite

A Formal Model for SDL Specifications Based on Timed Rewriting Logic

By Steggles L.J.

Automated Software Engineering, Vol. 7, Iss. 1, 2000-03 ,pp. : 61-90

Springer Publishing Company

Access to resources Recommend Favorite

Formal verification of a leader election protocol in process algebra

By Fredlund L.-a. Groote J.F. Korver H.

Theoretical Computer Science, Vol. 177, Iss. 2, 1997-05 ,pp. : 459-486

Elsevier

Access to resources Recommend Favorite

The Formal Design Model of an Automatic Teller Machine (ATM)

International Journal of Software Science and Computational Intelligence (IJSSCI), Vol. 2, Iss. 1, 2010-01 ,pp. : 102-131

IGI Global_journal

Access to resources Recommend Favorite

Goal Modelling for Security Problem Matching and Pattern Enforcement

International Journal of Secure Software Engineering (IJSSE), Vol. 8, Iss. 3, 2017-07 ,pp. : 42-57

IGI Global_journal

Access to resources Recommend Favorite