Matches in SemOpenAlex for { <https://semopenalex.org/work/W2058906062> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2058906062 endingPage "48" @default.
- W2058906062 startingPage "34" @default.
- W2058906062 abstract "This paper presents JavaSPI, a “model-driven” development framework that allows the user to reliably develop security protocol implementations in Java, starting from abstract models that can be verified formally. The main novelty of this approach stands in the use of Java as both a modeling language and the implementation language. The JavaSPI framework is validated by implementing a scenario of the SSL protocol. The JavaSPI implementation can successfully interoperate with OpenSSL, and has comparable execution time with the standard Java JSSE library." @default.
- W2058906062 created "2016-06-24" @default.
- W2058906062 creator A5021669146 @default.
- W2058906062 creator A5035205635 @default.
- W2058906062 creator A5054358882 @default.
- W2058906062 creator A5078471429 @default.
- W2058906062 date "2011-10-01" @default.
- W2058906062 modified "2023-09-23" @default.
- W2058906062 title "JavaSPI" @default.
- W2058906062 cites W1608435723 @default.
- W2058906062 cites W1748251377 @default.
- W2058906062 cites W1991234099 @default.
- W2058906062 cites W2010173096 @default.
- W2058906062 cites W2095757617 @default.
- W2058906062 cites W2112018008 @default.
- W2058906062 cites W2118130761 @default.
- W2058906062 cites W2125795633 @default.
- W2058906062 cites W2149302272 @default.
- W2058906062 cites W2161706819 @default.
- W2058906062 doi "https://doi.org/10.4018/jsse.2011100103" @default.
- W2058906062 hasPublicationYear "2011" @default.
- W2058906062 type Work @default.
- W2058906062 sameAs 2058906062 @default.
- W2058906062 citedByCount "15" @default.
- W2058906062 countsByYear W20589060622012 @default.
- W2058906062 countsByYear W20589060622013 @default.
- W2058906062 countsByYear W20589060622014 @default.
- W2058906062 countsByYear W20589060622015 @default.
- W2058906062 countsByYear W20589060622016 @default.
- W2058906062 countsByYear W20589060622017 @default.
- W2058906062 countsByYear W20589060622018 @default.
- W2058906062 countsByYear W20589060622022 @default.
- W2058906062 crossrefType "journal-article" @default.
- W2058906062 hasAuthorship W2058906062A5021669146 @default.
- W2058906062 hasAuthorship W2058906062A5035205635 @default.
- W2058906062 hasAuthorship W2058906062A5054358882 @default.
- W2058906062 hasAuthorship W2058906062A5078471429 @default.
- W2058906062 hasConcept C111919701 @default.
- W2058906062 hasConcept C138885662 @default.
- W2058906062 hasConcept C142724271 @default.
- W2058906062 hasConcept C199360897 @default.
- W2058906062 hasConcept C20136886 @default.
- W2058906062 hasConcept C204787440 @default.
- W2058906062 hasConcept C26713055 @default.
- W2058906062 hasConcept C27206212 @default.
- W2058906062 hasConcept C2778738651 @default.
- W2058906062 hasConcept C2780385302 @default.
- W2058906062 hasConcept C41008148 @default.
- W2058906062 hasConcept C548217200 @default.
- W2058906062 hasConcept C71924100 @default.
- W2058906062 hasConceptScore W2058906062C111919701 @default.
- W2058906062 hasConceptScore W2058906062C138885662 @default.
- W2058906062 hasConceptScore W2058906062C142724271 @default.
- W2058906062 hasConceptScore W2058906062C199360897 @default.
- W2058906062 hasConceptScore W2058906062C20136886 @default.
- W2058906062 hasConceptScore W2058906062C204787440 @default.
- W2058906062 hasConceptScore W2058906062C26713055 @default.
- W2058906062 hasConceptScore W2058906062C27206212 @default.
- W2058906062 hasConceptScore W2058906062C2778738651 @default.
- W2058906062 hasConceptScore W2058906062C2780385302 @default.
- W2058906062 hasConceptScore W2058906062C41008148 @default.
- W2058906062 hasConceptScore W2058906062C548217200 @default.
- W2058906062 hasConceptScore W2058906062C71924100 @default.
- W2058906062 hasIssue "4" @default.
- W2058906062 hasLocation W20589060621 @default.
- W2058906062 hasOpenAccess W2058906062 @default.
- W2058906062 hasPrimaryLocation W20589060621 @default.
- W2058906062 hasRelatedWork W1490787830 @default.
- W2058906062 hasRelatedWork W1493446239 @default.
- W2058906062 hasRelatedWork W1504651774 @default.
- W2058906062 hasRelatedWork W1530895039 @default.
- W2058906062 hasRelatedWork W1825982205 @default.
- W2058906062 hasRelatedWork W1984757784 @default.
- W2058906062 hasRelatedWork W2083338789 @default.
- W2058906062 hasRelatedWork W21169582 @default.
- W2058906062 hasRelatedWork W4243252198 @default.
- W2058906062 hasRelatedWork W2528467228 @default.
- W2058906062 hasVolume "2" @default.
- W2058906062 isParatext "false" @default.
- W2058906062 isRetracted "false" @default.
- W2058906062 magId "2058906062" @default.
- W2058906062 workType "article" @default.