Class information for:
Level 1: BYTECODE VERIFICATION//PREVENT INFORMATION LEAKAGE//SEPARATION LOGIC

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
11476 912 29.3 23%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)


ID, lev.
above		 Publications Label for level above
216 20103 FORMAL METHODS IN SYSTEM DESIGN//MODEL CHECKING//LECTURE NOTES IN COMPUTER SCIENCE

Terms with highest relevance score


Rank Term Type of term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 BYTECODE VERIFICATION Author keyword 44 88% 2% 21
2 PREVENT INFORMATION LEAKAGE Author keyword 20 100% 1% 9
3 SEPARATION LOGIC Author keyword 12 27% 4% 39
4 LANGUAGE BASED SECURITY Author keyword 11 48% 2% 16
5 INFORMATION FLOW CONTROL Author keyword 7 28% 2% 22
6 PROOF CARRYING CODE Author keyword 7 38% 2% 15
7 OWNERSHIP TYPES Author keyword 7 46% 1% 11
8 EDIT AUTOMATA Author keyword 6 71% 1% 5
9 FOREIGN FUNCTION INTERFACE Author keyword 5 60% 1% 6
10 TRANSLATION VALIDATION Author keyword 5 39% 1% 11

Web of Science journal categories

Author Key Words


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class		 LCSH search Wikipedia search
1 BYTECODE VERIFICATION 44 88% 2% 21 Search BYTECODE+VERIFICATION Search BYTECODE+VERIFICATION
2 PREVENT INFORMATION LEAKAGE 20 100% 1% 9 Search PREVENT+INFORMATION+LEAKAGE Search PREVENT+INFORMATION+LEAKAGE
3 SEPARATION LOGIC 12 27% 4% 39 Search SEPARATION+LOGIC Search SEPARATION+LOGIC
4 LANGUAGE BASED SECURITY 11 48% 2% 16 Search LANGUAGE+BASED+SECURITY Search LANGUAGE+BASED+SECURITY
5 INFORMATION FLOW CONTROL 7 28% 2% 22 Search INFORMATION+FLOW+CONTROL Search INFORMATION+FLOW+CONTROL
6 PROOF CARRYING CODE 7 38% 2% 15 Search PROOF+CARRYING+CODE Search PROOF+CARRYING+CODE
7 OWNERSHIP TYPES 7 46% 1% 11 Search OWNERSHIP+TYPES Search OWNERSHIP+TYPES
8 EDIT AUTOMATA 6 71% 1% 5 Search EDIT+AUTOMATA Search EDIT+AUTOMATA
9 FOREIGN FUNCTION INTERFACE 5 60% 1% 6 Search FOREIGN+FUNCTION+INTERFACE Search FOREIGN+FUNCTION+INTERFACE
10 TRANSLATION VALIDATION 5 39% 1% 11 Search TRANSLATION+VALIDATION Search TRANSLATION+VALIDATION

Key Words Plus


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 SECURE INFORMATION FLOW 14 37% 3% 30
2 SUBROUTINES 9 59% 1% 10
3 SEPARATION LOGIC 8 20% 4% 34
4 BYTECODE VERIFICATION 5 60% 1% 6
5 NONINTERFERENCE 5 26% 2% 18
6 SECURITY POLICIES 4 67% 0% 4
7 PROOF CARRYING CODE 4 75% 0% 3
8 CONCURRENT SEPARATION LOGIC 3 57% 0% 4
9 TRANSLATION VALIDATION 3 29% 1% 10
10 JAVA BYTECODE LANGUAGE 3 100% 0% 3

Journals

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
Language-based information-flow security 2003 345 26 42%
Operating system verification-An overview 2009 18 20 55%
Formalizing the safety of Java, the Java virtual machine, and Java card 2001 28 39 33%
Formal verification of synchronous data-flow program transformations toward certified compilers 2013 0 9 56%
Resource analyses for parallel and distributed coordination 2013 1 23 22%

Address terms


Rank Address term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ.
in class
1 SOFTWARE SECUR 4 75% 0.3% 3
2 SMART CARDS 1 100% 0.2% 2
3 CNRS VERIMAG 1 50% 0.1% 1
4 COMP ARCHITECTURE SECUR TECHNOL 1 50% 0.1% 1
5 DEP EECS 1 50% 0.1% 1
6 DKFI 1 50% 0.1% 1
7 ENGLISH TEACHING EARCHING 1 50% 0.1% 1
8 INTERNETWORKING TECHNOL GRP 1 50% 0.1% 1
9 LUCCA ADV STUDIES 1 50% 0.1% 1
10 PROGRAMMING LANGUAGE COMPILERS GRP 1 50% 0.1% 1

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000203055 FORMAL ASPECTS OF COMPUTING//REFINEMENT CALCULUS//VERIFIED SOFTWARE REPOSITORY
2 0.0000177988 ABSTRACT INTERPRETATION//PREDICATE ABSTRACTION//SATISFIABILITY MODULO THEORIES
3 0.0000163123 PROGRAM SLICING//PARTIAL REDUNDANCY ELIMINATION//POINTS TO ANALYSIS
4 0.0000153531 INTERNET INFORMAT COMMUN//SOFTWARE FAULT ISOLATION//RANGE CHECKING
5 0.0000146505 LAMBDA CALCULUS//INTERSECTION TYPES//JOURNAL OF FUNCTIONAL PROGRAMMING
6 0.0000133875 ABSTRACT STATE MACHINES//COREASM//DIP TECNOL INFORMAZ
7 0.0000127668 MICROCODE VERIFICATION//HARDWARE VERIFICATION//ACL2
8 0.0000115537 PARTIAL EVALUATION//CPS TRANSFORMATION//BINDING TIME ANALYSIS
9 0.0000110223 PLEIAD//ASPECT ORIENTED PROGRAMMING//COMP SCI DCC
10 0.0000106675 REACHABILITY TESTING//RACE DETECTION//DATA RACE