statistiche ricercatore

Continente	#
NA - Nord America	1.499
EU - Europa	1.221
AS - Asia	456
Continente sconosciuto - Info sul continente non disponibili	98
SA - Sud America	82
AF - Africa	17
OC - Oceania	11
Totale	3.384

Nazione	#
US - Stati Uniti d'America	1.464
RU - Federazione Russa	837
IT - Italia	201
SG - Singapore	134
CN - Cina	126
BR - Brasile	55
VN - Vietnam	45
HK - Hong Kong	28
BD - Bangladesh	27
GB - Regno Unito	27
FR - Francia	26
DE - Germania	25
TR - Turchia	20
CA - Canada	19
IN - India	18
IL - Israele	13
PL - Polonia	13
EC - Ecuador	12
BG - Bulgaria	11
AU - Australia	10
UA - Ucraina	10
AT - Austria	9
ES - Italia	9
DK - Danimarca	8
FI - Finlandia	8
JP - Giappone	8
SE - Svezia	8
MX - Messico	7
KR - Corea	6
NL - Olanda	6
AR - Argentina	5
IQ - Iraq	5
PH - Filippine	5
CL - Cile	4
MA - Marocco	4
UZ - Uzbekistan	4
IE - Irlanda	3
LU - Lussemburgo	3
NP - Nepal	3
RO - Romania	3
TN - Tunisia	3
UG - Uganda	3
ZA - Sudafrica	3
AL - Albania	2
BE - Belgio	2
CR - Costa Rica	2
DO - Repubblica Dominicana	2
ET - Etiopia	2
GE - Georgia	2
GR - Grecia	2
ID - Indonesia	2
IS - Islanda	2
KZ - Kazakistan	2
MY - Malesia	2
NO - Norvegia	2
PA - Panama	2
PY - Paraguay	2
AE - Emirati Arabi Uniti	1
BB - Barbados	1
CO - Colombia	1
CW - ???statistics.table.value.countryCode.CW???	1
CY - Cipro	1
EG - Egitto	1
IR - Iran	1
JM - Giamaica	1
KE - Kenya	1
LK - Sri Lanka	1
LT - Lituania	1
MD - Moldavia	1
NI - Nicaragua	1
NZ - Nuova Zelanda	1
PE - Perù	1
PS - Palestinian Territory	1
RS - Serbia	1
SK - Slovacchia (Repubblica Slovacca)	1
SR - Suriname	1
TH - Thailandia	1
VE - Venezuela	1
Totale	3.287

Nome	#
MUAC: Access control language for mutual benefits	302
Checking the Expressivity of Firewall Languages	289
Can my Firewall System Enforce this Policy?	289
FWS: Analyzing, maintaining and transcompiling firewalls	278
From firewalls to functions and back	277
Are all firewall systems equally powerful?	267
IFCIL: An Information Flow Configuration Language for SELinux	243
Specifying and Verifying Information Flow Control in SELinux Configurations	227
A Logic for Policy Based Resource Exchanges in Multiagent Systems	209
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers	190
Checking information flow in cloud-based IoT access control policies	146
Differential Verification of Information Flow in SEAndroid Policies	97
Effect Semantics for Quantum Process Calculi	83
Policies for Fair Exchanges of Resources	72
SELinux CIL Semantics: An executable semantics for SELinux CIL configuration language	66
Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers	65
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers	60
SELinux IFCIL: A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier	58
Testing Quantum Processes	57
A Coalgebraic Model of Quantum Bisimulation	57
Verification of quantum protocols adopting physically admissible schedulers	18
Differential verification of information flow in SEAndroid policies	18
Testing the quantum anonymous transmission protocol	16
Totale	3.384

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	55	0	0	0	1	2	2	11	6	1	2	24	6
2022/2023	157	17	8	4	21	18	20	2	18	32	8	8	1
2023/2024	87	1	4	6	7	8	2	10	9	8	13	8	11
2024/2025	772	9	19	12	42	9	114	177	67	61	81	149	32
2025/2026	1.524	33	49	190	393	58	27	210	54	91	135	159	125
2026/2027	644	184	127	177	156	0	0	0	0	0	0	0	0
Totale													3.384