Quotiens aliquid emisti de Amazonibus, notitia emptoris automatice renovata est et in milibus machinarum virtualium in nube recondita est. Negotiis enim Amazonibus similis est, ut salus et securitas notitiarum eius decies centena milia clientium essentiale sint. Hoc verum est pro magnis et parvis consociationibus. Sed hactenus nullo modo praestandum est systema programmatum ab cimices, hackers et vulnerabilitates securum esse.
Engineering inquisitores Columbia hanc securitatem quaestionem solvisse possunt. SeKVM explicaverunt, primum systema quod per probationem mathematicam praestat - securitatem machinarum virtualium in nube. In charta nova praesentanda die 26 mensis Maii anno 2021, in 42 IEEE Symposii Securitatis & Secreti, exploratores sperant fundamentum futurum innovationibus ponere in programmatibus programmatis verificationis, ducens ad novam rationem programmatis cyber-consilientis.
SeKVM prima ratio formaliter verificatur ad nubem computandi. Verificationis formalis gradus criticus est sicut processus probandi quod software est mathematice recte, ut codicem programmatis opus habet ut debet, nec desunt cimices securitatis occultae ut cures.
"Hoc primum, quod multiprocessoris mundi realis systema programmatum mathematice recte et securum esse demonstratum est", Jason Nieh, professor scientiarum computatrum et co-director laboratorium Software Systematum, dixit. "Hoc significat quod notitia utentium recte administratur per programmatum in nube cursus et a cimices securitatis et hackers tutantur".
Constructio certa et certa ratio programmatis inter magnas provocationes computandi fuit. |Nieh varias rationes systematum programmatum cum Columbia Engineering anno 1999 coniungens laboravit. Cum Ronghui Gu, Tang Familiae Assistens Professor Computer Scientiae et peritus formalis verificationis, cum instrumento scientiarum computatrorum anno MMXVIII coniunxit, ipse et Nieh collaborare decreverunt. explorans formal verificationis de systematis software.
Investigationes maiorem utilitatem comparaverunt: tum investigatores an Investigationis Amazonum lacus lucrati sunt, multae concessiones Nationalis Scientiae Foundation, tum multi million pupa Defensio Provectus Research Projects Agency (DARPA) contractus ad ulteriorem progressionem project SeKVM. Praeterea Nieh a Guggenheim Societati huic operi addicta est.
Praeteritis annis duodecim, multa cura adhibita est ad verificationem formalem, inter opera de comprobatione systematis operandi multiprocessoris. “Sed tota illa investigatio in parvis ludibriis systematibus agitata est quibus nemo in vita reali utitur,” inquit Gu. "Verificare multiprocessoris merx ratio, systema in lato usu sicut Linux, plus minusve impossibile esse existimatur".
Incrementum exponentialis nubis computandi dedit societates et utentes ut notitias suas et supputationem off-situm movere in machinis virtualibus currentibus in exercituum in nube. Nubes provisores computantes, sicut Amazones, explicant hypervisores ad has machinis virtualis sustinendas
Hypervisor est clavis fragmen programmatis quae nubes computare possibile est. Securitas machinae virtualis notitiarum cardo ad rectitudinem et fidem hypervisoris. Quamvis momenti eorum multiplex hypervisores sint - integram Linux systema operantem includere possunt. Uno modo debilis nexus in codice-is, qui virtualiter impossibilis est per traditionales probationes deprehendere-, systema vulnerabile hackers facere potest. Etiamsi hypervisor 99% recte scriptus est, piratica tamen obrepunt in illud 1% paro- chum et systematis potiri potest.
Nieh et Gu opus primum est ut ratio merx merx verificetur, specie hypervisoris late-usi KVM, qui ad machinis virtualis per nubes provisoribus currere solet ut Amazon. Probaverunt SeKVM, quod est KVM cum nonnullis parvis mutationibus, securum esse et spondere virtuales computatores inter se remotos esse.
"Monstravimus nostrum systema privatas notitias ac secure posse tueri ac computare ad nubem cum cautionibus mathematicis", dixit Xupeng Li, Gu's Ph.D. discipulus et auctor chartae plumbeae. "Hoc numquam antea factum est."
SeKVM comprobatum est per MicroV, novam compagem ad confirmandas possessiones magnarum systematum securitatis. Fundatur in coniectura quod parvae mutationes systematis significanter facilius ad verificandum efficere possunt, nova ars investigatores verificationem MICR appellant. Haec nova technica tabulatio exsistentem systema retrocedit et membra extrahit quae securitatem comportat in nucleum parvum, quod verificatur et securitatem totius systematis praestat.
Mutationes quae necessariae ad magnum systema retrofitendum satis modeste sunt; investigatores demonstraverunt si nucleus majoris systematis integer sit, tunc systema securum et nulla notitia privata emanaturum esse. Inde est, quomodo magnam rationem KVM cognoscere potuerint, quae antea impossibile esse putabatur.
"Cogita domum - rimam in drywall" non significat integritatem domus in periculo esse", explicavit Nieh. "Est adhuc sonus structurae et ratio key structuralis bona est."
Shih-Wei Li, Nieh's Ph.D. discipulus et auctor studii co-ducunt, addidit "SeKVM in variis ditionibus tutelam esse, a rationibus et interretialibus rerum argentariis ad vehicula et cryptocurrencie sui iuris".
Cum primum hypervisoris verificatur mercimonia, SeKVM mutare potuit quomodo nubes officia designari, enucleari, explicari et confidere deberent. In mundo ubi cybersecurity hoc increbrescente cura, haec invicta maxime postulatio est. Cohortes nubes maiores iam exploratae sunt quomodo seKVM pressionibus occurrere hoc postulant.