S-Promela: An executable specification security policies language

2009 First International Conference on Communications and Networking ◽

10.1109/comnet.2009.5373568 ◽

2009 ◽

Cited By ~ 3

Author(s):

Ryma Abbassi ◽

Sihem Guemara El Fatmi

Keyword(s):

Security Policies ◽

Executable Specification

Download Full-text

Social Security Policies in Connection with Sustainable Economic Growth in thePeriod 2011-2020

Journal of Economic Development ◽

10.24311/jed/2014.222.01 ◽

2014 ◽

Vol 222 ◽

pp. 02-16

Author(s):

MAI NGOC CUONG

Keyword(s):

Economic Growth ◽

Social Security ◽

Security Policies ◽

Sustainable Economic Growth

Download Full-text

Non-state actors and illegal migration: a new European approach to security policies

South-Russian Journal of Social Sciences ◽

10.31429/26190567-20-1-24-39 ◽

2019 ◽

Vol 20 (1) ◽

pp. 24-39

Author(s):

Paolo Bargiacchi ◽

Keyword(s):

Security Policies ◽

Illegal Migration ◽

European Approach ◽

State Actors

Download Full-text

The Impact of Fairness of Industrial Security Practitioners on Willingness to Comply with Workplace Silence and Security Policies

Korean Security Science Review ◽

10.36623/kssa.2019.54.3 ◽

2018 ◽

Vol 54 ◽

pp. 57-75

Author(s):

Hyun Goo Shin ◽

Keyword(s):

Security Policies ◽

Industrial Security ◽

The Impact

Download Full-text

Scaling Proof-Carrying Code to Production Compilers and Security Policies

10.21236/ada434335 ◽

2005 ◽

Author(s):

Andrew W. Appel ◽

Edward W. Felton ◽

David P. Walker ◽

Zhong Shao ◽

Valery Trifonov

Keyword(s):

Security Policies

Download Full-text

A Marriage of Convenience: Russia's Response to U.S. Security Policies

10.21236/ada596406 ◽

2003 ◽

Author(s):

Rouben Azizian

Keyword(s):

Security Policies

Download Full-text

Precarious Partnership: Pakistan's Response to U.S. Security Policies

10.21236/ada592291 ◽

2003 ◽

Author(s):

Robert G. Wirsing

Keyword(s):

Security Policies

Download Full-text

The Glacier Moves: Japan's Response to U.S. Security Policies

10.21236/ada592232 ◽

2003 ◽

Author(s):

John Miller

Keyword(s):

Security Policies

Download Full-text

Ethical Security in Europe? Empirical Findings on Value Shifts and Dilemmas Across European Internal-External Security Policies

SSRN Electronic Journal ◽

10.2139/ssrn.1873515 ◽

2010 ◽

Author(s):

Matteo Tondini ◽

Isabelle Ioannides

Keyword(s):

Security Policies

Download Full-text

Do Counter-Terrorism Measures Work? Appraising the Long-Term and Global Effectiveness of Security Policies

SSRN Electronic Journal ◽

10.2139/ssrn.3285860 ◽

2018 ◽

Author(s):

Berenice Boutin

Keyword(s):

Security Policies ◽

Counter Terrorism

Download Full-text

Does Variation in the Extent of Generalized Trust, Individual Education and Extensiveness of Social Security Policies Matter for Maximization of Subjective Well-Being?

International Journal of Research in Education and Science ◽

10.21890/ijres.02502 ◽

2016 ◽

Vol 2 (2) ◽

pp. 371

Author(s):

Rania Fuadovna Valeeva

Keyword(s):

Social Security ◽

Well Being ◽

Security Policies ◽

Subjective Well Being ◽

Generalized Trust ◽

Individual Education

Download Full-text