Security Testing and Formal Methods for High Levels Certification of Smart Cards

2009 ◽  
pp. 1-5 ◽  
Author(s):  
Boutheina Chetali
Keyword(s):  
Formal Methods ◽  
Smart Cards ◽  
Security Testing

scholarly journals Formal methods for smart cards: an experience report

2005 ◽  
Vol 55 (1-3) ◽  
pp. 53-80 ◽  
Author(s):  
C.-B. Breunesse ◽  
N. Cataño ◽  
M. Huisman ◽  
B. Jacobs
Keyword(s):  
Formal Methods ◽  
Experience Report ◽  
Smart Cards

Application of formal methods to the VIPER microprocessor

1987 ◽  
Vol 134 (3) ◽  
pp. 133 ◽  
Author(s):  
W.J. Cullyer ◽  
C.H. Pygott
Keyword(s):  
Formal Methods

Security Test by using F T M and Data Allocation Strategies on Leakage Detection

2005 ◽  
Vol 4 (2) ◽  
pp. 393-400
Author(s):  
Pallavali Radha ◽  
G. Sireesha
Keyword(s):  
Third Party ◽  
Distributed Data ◽  
Data Allocation ◽  
Security Testing ◽  
Sensitive Data ◽  
Sample Data ◽  
The One ◽  
Security Test ◽  
Data Request ◽  
Allocation Strategies

The data distributors work is to give sensitive data to a set of presumably trusted third party agents.The data i.e., sent to these third parties are available on the unauthorized places like web and or some ones systems, due to data leakage. The distributor must know the way the data was leaked from one or more agents instead of as opposed to having been independently gathered by other means. Our new proposal on data allocation strategies will improve the probability of identifying leakages along with Security attacks typically result from unintended behaviors or invalid inputs.  Due to too many invalid inputs in the real world programs is labor intensive about security testing.The most desirable thing is to automate or partially automate security-testing process. In this paper we represented Predicate/ Transition nets approach for security tests automated generationby using formal threat models to detect the agents using allocation strategies without modifying the original data.The guilty agent is the one who leaks the distributed data. To detect guilty agents more effectively the idea is to distribute the data intelligently to agents based on sample data request and explicit data request. The fake object implementation algorithms will improve the distributor chance of detecting guilty agents.

Security Testing on Web Based Application

2018 ◽  
Vol 6 (12) ◽  
pp. 553-557
Author(s):  
A. Punitha ◽  
D. Sukanya Bai ◽  
K. Lavanya
Keyword(s):  
Security Testing ◽  
Web Based

Efficient Dynamic-Id Based Password Authenticated Key Agreement Using Smart Cards Without Time Concurrency

2008 ◽  
Vol 3 (1) ◽  
pp. 39-44
Author(s):  
Shoba Bindu C ◽  
Chandra Sekhar Reddy P ◽  
Satya Narayana B
Keyword(s):  
Key Agreement ◽  
Smart Cards ◽  
Authenticated Key Agreement ◽  
Dynamic Id
Sign in / Sign up

Export Citation Format

Share Document